// JavaScript Document
			
	var t;			
	t = 62.5;

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