// Gestion du menu déroulant
var l=document.getElementById("menu").getElementsByTagName('li');
for ( var n=0; n<l.length; n++ )
{
	l[n].unselectable="on";
	if ( l[n].getElementsByTagName('ul') && l[n].getElementsByTagName('ul').length>0 )
	{
		l[n].onmouseover = function()
		{	
			this.getElementsByTagName('ul')[0].style.visibility="visible";
		}	
		l[n].onmouseout = function()	
		{	
			this.getElementsByTagName('ul')[0].style.visibility="hidden";
		}
	}
}