var t;			

	t = 0.8125;


	function changerTaille(modif) {

		t = t + modif;

			
		if (t>1.1){
		t = 1.1;
		document.getElementsByTagName("body")[0].style.fontSize = t + "em";	
		document.getElementById("menu_haut").style.fontSize ="0.85em";
				
			}
			else{document.getElementsByTagName("body")[0].style.fontSize = t + "em";	}
			
		if (t>1){document.getElementById("pied_page").style.fontSize ="0.85em";}
		
		
		if(t<=1){document.getElementById("pied_page").style.fontSize ="12px";}
	}