function developper(menu_id) 
{
	//on cache les tous les menus
	for (var i = 1; i <= 4; i++) 
	{
		if (document.getElementById('menu'+i)) 
		{
			document.getElementById('menu'+i).style.display = 'none';
		}
	}
	//on affiche le menu selectionné
	if (menu_id) 
	{
		document.getElementById(menu_id).style.display='block';
	}
}