<!--
/**
 *	Ces fonctions permettent d'animer le menu.
 *	Ainsi, on peut définir le temporisateur avant que le menu ne disparaisse
 */
 
 
	// Menu affiché actuellement
	var show = 0;
	// temporisateur pour désafficher le menu déroulant
	var tempoMenu = 600;
	
 
	function hideMenuItems()
	{
		for (var i = 1; i<=10; i++)
		{
			if (document.getElementById('smenu'+i))
				document.getElementById('smenu'+i).style.display='none';
		}
	}
 
	function montre(name)
	{
		var id = (document.getElementById(name));
		for (var i = 1; i<=10; i++)
		{
			if (document.getElementById('smenu'+i) && ('smenu'+i != name))
				{document.getElementById('smenu'+i).style.display='none';}
		}
		if (id) { id.style.display='block'; show=name; }
		else { show = 0; }
	}
	
	function kill(name)
	{
		show = 0;
		setTimeout("hide('"+name+"')",tempoMenu);
	}
	
	function hide(name)
	{
		if (show == 0)
		{
			var id = (document.getElementById(name));
			if (id) {id.style.display='none';}
		}
	}

-->