var defile;// l'element a deplacer
var psinit = 580; // position horizontale de depart
var pscrnt = psinit; 
var montimer;        
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";
   }

}

function restartDefile() {
   montimer=setInterval("texteDefile()",20); // delai de deplacement 
}

window.onload = restartDefile;