// texte dynamique defilant

var defile;// l'element a deplacer 
var psinit = 155; // position horizontale de depart par rapport a la gauche (prendre la largeur)
var pscrnt = psinit;        
function texteDefile() { 
   if (!defile) defile = document.getElementById('defile'); 
   if (defile) { 
      if(pscrnt < ( - defile.offsetWidth) ){ 
         pscrnt = psinit; 
                } else { 
         pscrnt+= -1; // pixel par deplacement 
      } 
      defile.style.left = pscrnt+"px"; 
   } 
} 
setInterval("texteDefile()",5); // delai de deplacement