function diapo_txt(nom){
window.document.getElementById('photos1').src="images/diapo1/"+nom+".jpg";
}
function diapo_txt2(nom){
window.document.getElementById('photos2').src="images/diapo2/"+nom+".jpg";
}
function diapo_txt3(nom){
window.document.getElementById('photos3').src="images/diapo3/"+nom+".jpg";
}