<!--
function eventFaceLarger()
	{
		elt = document.getElementById("texte");
		elt.style.fontSize=18
	}

function eventFaceSmaller()
	{
		elt = document.getElementById("texte");
		elt.style.fontSize=11;
	}
	
// -->