var t;			
	t = 1;
	function changerTaille(modif) {
		t = t + modif;
		if ((t<=2) && (t>=0.8))
		{
			document.getElementsByTagName("body")[0].style.fontSize = t + "em";		
		}
	}