function xaffiche(menu) {
	window.document.getElementById(menu).className="affiche";
}

function xcache(menu) {
	window.document.getElementById(menu).className="cache";
}