function taille_texte() {
		document.getElementById('div_texte').style.height = document.body.clientHeight-186 + 'px'; 
		//126 : hauteur du header + footer
		//60 : hauteur de sureté ŕ cause des titres des pages + sauts de lignes
}