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