function taille_moin()
{
	document.getElementById('contenu').style.fontSize='0.8em';
}

function taille_norm()
{
	document.getElementById('contenu').style.fontSize='1em';
}

function taille_plus()
{
	document.getElementById('contenu').style.fontSize='1.5em';
}