function page_dep_search(f)
{
  var monChoix;

  monChoix=f.options[f.selectedIndex].value;
  self.location="installateur-proche.html?departement="+monChoix;
}