function show_sub_menu(id) {
  var objet=document.getElementById(id);
  if (objet.style.display=='none') {
	objet.style.display='';
  }
  else {
	objet.style.display='none';
  }
}