function rollOverNav(num,couleur){
	var nomCellule = "menu"+num;
	if(document.all)
	document.all[nomCellule].className= couleur;
	else if(document.getElementById)
	document.getElementById(nomCellule).className= couleur;
}