function on_image(src,id){
	var nom = src;
	var idd=id;
	nom=nom.replace(".jpg","-plan.jpg");
	document.getElementById(idd).src=nom;
	}
function out_image(src2,id2){
	var nom2 = src2;
	var idd2=id2;
	nom2=nom2.replace("-plan.jpg",".jpg");
	document.getElementById(idd2).src=nom2;
	}