function modulo3_affiche_div(b_menu1) {
  var menu1 = document.getElementById("modulo3-menu1");
  if(b_menu1) menu1.style.display = "block";
  else menu1.style.display = "none";
}