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