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