var t;
t = 80.5;
function changerTaille(modif) {
    t = t + modif;
    document.getElementsByTagName("body")[0].style.fontSize = t + "%";
}