var defile = null;// l'element a deplacer
var widthDefile = 0;
var widthConteneurDefile = 0;
var posDefile = 0;
var timerDefile = null;

function texteDefile() {
    if (defile==null) {
	defile = document.getElementById('idDefile');
	if (defile==null) return;
	widthDefile = defile.offsetWidth;

	widthConteneurDefile = document.getElementById('cadre_defil').offsetWidth;
	posDefile = widthConteneurDefile;
	defile.style.left = posDefile+"px";
	defile.style.width = "2000px";
	defile.style.visibility = "visible";
    }
    if (defile==null) return;

    if (posDefile<-widthDefile) posDefile = widthConteneurDefile;
    else posDefile--;
    defile.style.left = posDefile+"px";
}

function stopDefile() { 
    if (timerDefile!=null) clearInterval(timerDefile); 
}
function startDefile() { 
    timerDefile =  setInterval("texteDefile()", 15); 
}