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