/* fonction qui permet de changer les images du menu de l'index */
function change_image(image_id, image_nom, action){
	
	var id, name, act;
	id = image_id;
	name = 'images/'+image_nom;
	act = action;
	
	if (act == 1){ name = name+'_up'; }
	name = name+'.png';
	document.getElementById(id).src = name;
}