// JavaScript Document

function diapo3_txt(nom){
window.document.getElementById('photoc').src="images/diapo3/"+nom+".jpg";
}