var t;
t = 1;
function changerTaille(modif) {
  t = t + modif;
  if(document.getElementById("milieu_milieu_contenu")){
   document.getElementById("milieu_milieu_contenu").style.fontSize = t + "em";
  }
}