function swap(x) { 
	document.getElementById(x).src="images/textes/"+x+"b.gif"; 
}
function restore(x) { 
	document.getElementById(x).src="images/textes/"+x+".gif"; 
}
function affiche(calque) { 
	document.getElementById(calque).style.display = "block";
}
function efface(calque) { 
	document.getElementById(calque).style.display = "none";
}