function change_image(nom_image){
      //document.vignette= new Image();
      newimg = new Image();
      newimg.src=nom_image;
      document.getElementById('vignette').src=newimg.src;
	//document.vignette.src=nom_image;	
}