var defile; // l'element a deplacer 
var psinit = 800; // position horizontale de depart 
var pscrnt = psinit;
function texteDefile() {
    if (!defile) defile = document.getElementById('defile');
    if (defile) {
        if (pscrnt < (psinit - 1500)) {
            pscrnt = psinit;
        } else {
            pscrnt += -1; // pixel par deplacement 
        }
        defile.style.left = pscrnt + "px";
    }
}
setInterval("texteDefile()", 10); // delai de deplacement