function change_image(url){
   var img = document.getElementById('photo_principale');
   img.src=url.href;
} 

function affiche_image(){
		var img = document.getElementById('photo_principale');
		img.src = img.src;
}