function swapGuideMenu(num,etat) {
	document["guide_menu_"+num].src = '../../images/fr_interieur/guide_menu_'+num+etat+'.gif';
}