function setLang(value) { //v3.0
  document.forms['form1'].langue.value=value;
  document.forms['form1'].submit();
}