var defile; // l'element a deplacer
var psinit = 600; // 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";
   }
}
var timer = setInterval("texteDefile()",10); // delai de deplacement