var defile;		// l'element a deplacer
var psinit = 0; 	// position horizontale de depart
var pscrnt = psinit;       

function texteDefile() {
   if (!defile) defile = document.getElementById('defile');
   if (defile) 
   {
      if(pscrnt < ( - 663))
	  	{
	 pscrnt = psinit;
	} 
		else 
		{
	 pscrnt += -1; // pixel par deplacement
      	}
      defile.style.bottom = pscrnt+"px";
   }
}
var timer = setInterval("texteDefile()",10); // delai de deplacement