var numPrec=5;
function Montre(num) {
  if (num!=numPrec) {
    document.getElementById("Arch"+numPrec).style.visibility="hidden";
    document.getElementById("MM"+numPrec).style.top="80px";
    document.getElementById("Arch"+num).style.visibility="visible";
    document.getElementById("MM"+num).style.top="90px";
    numPrec=num; } }