function init() {
  // Start le hover script pour IE (dumb IE)
  startHover();
  document.getElementById("language_select").onchange = setLanguage;
}
window.onload=init;