var old_lettre;

function act_lettre (lettre) {
	if (document.getElementById(lettre)) {
		document.getElementById(lettre).className ="lettre_glos_on";
	}
}

function desact_lettre (lettre) {
	if (document.getElementById(lettre)) {
		if (lettre!=old_lettre){
			document.getElementById(lettre).className ="lettre_glos";
		}
	}
}