var defile;// l'element a deplacer
var psinit = 650; // position horizontale de depart
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()",20); // delai de deplacement