function developper_reduire(identifiant) {
obj = document.getElementById("menu_" + identifiant);
if (obj.style.display == 'none') {
   obj.style.display = 'block';
 }
 else if (obj.style.display == 'block') {
   obj.style.display = 'none';
 }
}
function developper(identifiant) {
 obj = document.getElementById("menu_" + identifiant);
 if (obj != null) {
	 obj.style.display = 'block';
 }
}
function reduire(identifiant) {
 obj = document.getElementById("menu_" + identifiant);
 obj.style.display = 'none';
}