var menu_actif = 0;
function show_menu(num_menu)
{
if(menu_actif != 0)
	{
	document.getElementById("smenu"+menu_actif).style.display = "none";
	}
document.getElementById("smenu"+num_menu).style.display = "block";
menu_actif = num_menu;
}