function corrigerLi()
{
  if(document.all&&document.getElementById)
     {
          li = document.getElementById('menu').getElementsByTagName('li');
          for(var i=0; i < li.length; i++)
          {
           
               li[i].onmouseover = function(){ this.className+=" over"; };
               li[i].onmouseout = function(){ this.className=this.className.replace(" over", ""); };
          }
     }	 
}