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";
}