// JavaScript Document

function diapo_txt(nom){
window.document.getElementById('photo').src="images/diapo/"+nom+".jpg";
}