var defile;// l'élément ŕ déplacer
var psinit = 300; // position horizontale de départ
var pscrnt = psinit;       
function texteDefile() {
   if (!defile) defile = document.getElementById('defile');
   if (defile) {
      if(pscrnt < ( - defile.offsetWidth) ){
         pscrnt = psinit;
                } else {
         pscrnt-= 1; // pixel par déplacement
      }
      defile.style.left = pscrnt+"px";
   }
}
setInterval("texteDefile()",20); // délai de déplacement 
