function changer_photo(num_photo,programme_id, nom_photo, dossier_image) {
	var img = document.getElementById("image_" + programme_id);
	img.src = "/dbimages/programme/photo" + num_photo + "/" + programme_id + "/" + dossier_image  + "/" + nom_photo;
}