var defile;// l'element a deplacer
var psinit = 1000; // position horizontale de depart
var pscrnt = psinit;

function texteDefile() {
 if (!defile) defile = document.getElementById('defile');
 if (defile)
 {
 if(pscrnt < ( - 733))
 {
 pscrnt = psinit;
 }
 else
 {
 pscrnt += -1; // pixel par deplacement
 }
 defile.style.left = pscrnt+"px";
 }
}
var timer = setInterval("texteDefile()",10); // delai de deplacement