function changeTaillePolice(taille) {
	if (document.body.style.fontSize == taille+"em")
	{
	document.body.style.fontSize="";
	}
	else
	{
	document.body.style.fontSize=taille+"em";
	}
}