var t;	
t = 13;

function changerTaille(modif) {

	t = t + modif;
	
	
		document.getElementsByTagName("body")[0].style.fontSize = t + "px";	

}