// JavaScript Document
//Script de gestion du menu
function afficherMenu(numero) {
	if (menu_actif != undefined) {
		masquerMenu(menu_actif);
	}
    var menu = document.getElementById("Menu" + numero);
    var lien = document.getElementById("lienMenu" + numero);
	var x= lien.x;
	menu.x = x;
    menu.style.display = '';
	lien.className = 'element t1';
	menu_actif = numero;
}

function masquerMenu(numero) {
	var menu = document.getElementById("Menu" + numero);
	var lien = document.getElementById("lienMenu" + numero);
	menu.style.display = 'none';
	lien.className = 'element';
}