function surligne(accueil){
	ma_var=accueil;
	document.getElementById(ma_var).style.color="red";
	document.getElementById(ma_var).style.cursor="hand";
}
function desurligne(accueil){
	ma_var=accueil;
	document.getElementById(ma_var).style.color="black";
	document.getElementById(ma_var).style.cursor="default";
}
function go(adresse){
window.location.href = adresse;
}