function changerTailleTexte(taille){
 	document.getElementById("lecture").href = "stylesCSS/lecture0"+taille+".css";
 }
 function changerInterFace(type){
 	document.getElementById("interface").href = "stylesCSS/interface"+type+".css";
 }
 function changerTypographie(type){
 	document.getElementById("typographie").href = "stylesCSS/typographie"+type+".css";
 }