function change_photo(id, id_dest) {

	var photo_src = document.getElementById(id);
	var photo_dst = document.getElementById(id_dest);
	var tmp = photo_dst.src;

	photo_src.src = photo_src.src.replace("_vignette", "");

	photo_dst.src = photo_src.src;
	photo_src.src = tmp;
}