function setPublication() {
  var url = "";
  var value = "";

  //value = document.search_T1.publication.options[document.search_T1.publication.selectedIndex].value;
  //url = "integraux.php?type=1&publication=" + value;

  value = document.refNormalisee.publication.options[document.refNormalisee.publication.selectedIndex].value;

  if (value != "-----------") {
    url = "integraux.php?type=1&publication=" + value;
  }
  else {
    url = "integraux.php";
  }

  window.location = url;
}