var defFontSize = 8.5;
var actFontSize = 8.5;

function grossirTexte() {
	var contenu = document.getElementById('cadreContenu');
	if (contenu) {
		if (actFontSize<20) actFontSize = actFontSize +1;
		contenu.style.fontSize = actFontSize + 'pt';	
	}

}

function rapetissirTexte() {
	var contenu = document.getElementById('cadreContenu');
	if (contenu) {
		if (actFontSize>7.5) actFontSize = actFontSize - 1;
		contenu.style.fontSize = actFontSize + 'pt';	
	}

}