<!-- 
var randImg = new Array();
randImg[0] = '/images/EnteteRandom/Img_Lampe_01.jpg';
randImg[1] = '/images/EnteteRandom/Img_Lampe_02.jpg';
randImg[2] = '/images/EnteteRandom/Img_Lampe_03.jpg';

var whichImage = Math.round(Math.random()*(randImg.length-1));
function showImage(){
document.write('<img src="'+randImg[whichImage]+'" alt="" style="display:block;" />');
}
-->