<!-- Changement de taille du texte
var currentSize = 100;
var minSize = 70;
var maxSize = 140;
function changeTaille(taille) {
	currentSize += taille;
		currentSize = (currentSize<minSize) ? minSize : ((currentSize>maxSize) ? maxSize : currentSize);
		document.getElementById('zone_centrale').style.fontSize = currentSize +'%';
}
//-->