<!--
adImages = new Array("images/dossierreseau1.gif", "images/dossierreseau2.gif")
thisAd = 0
imgCt = adImages.length

function rotate() {
    if (document.images) {
        thisAd++
        if (thisAd == imgCt) {
            thisAd = 0
        }
    document.adBanner.src = adImages[thisAd]
    setTimeout("rotate()", 5 * 1000)
    }
}
 -->