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




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