function launchsearch()
 {
  req=document.search.search.value;
  if(req == null)
  {
    req="*";
  }

url="http://web-index.ensmp.fr:10000/cgi/public?_q="+escape(req)
 window.open (url, 'nom_interne_de_la_fenetre', config='height=800, width=800, toolbar=yes, menubar=yes, scrollbars=yes, resizable=yes, location=yes, directories=yes, status=yes')
 }