var t;			

	t = 80;
	function changertaille(modif) {

		t = t + modif;
		if(t<60) t=60;
		if(t>100) t=100;
		
		document.getElementsByTagName("body")[0].style.fontSize = t + "%";		

	}