// JavaScript Document

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