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