// JavaScript Document
function anim_menu(chemin,onglet,etat)
{
  
  if(etat == 0)
  {
    chemin.src = "images/"+onglet+"_hover.gif";
  }
  else
  {
    chemin.src = "images/"+onglet+".gif";
  }
  
}