var petitexte=1
function grossir_texte() {
	if(petitexte==1) {
		if (document.getElementById("ppal")) document.getElementById("ppal").style.fontSize="150%"
		if (document.getElementById("en-tete")) document.getElementById("en-tete").style.fontSize="130%"
		petitexte=0
	} else {
		if (document.getElementById("ppal")) document.getElementById("ppal").style.fontSize="100%"
		if (document.getElementById("en-tete")) document.getElementById("en-tete").style.fontSize="80%"
		petitexte=1
	}
}