function showMenuGauche (n) { 
var o = document.getElementById("menugauche"+n); 
if (!o) return; 
o.style.display = ((o.style.display=="block")? "none":"block");
}
