text = document.getElementById("texte_defilant").childNodes[0];
    var MAXPOS = 970;
    var DELAY = 20;
    var pos = MAXPOS;
    
    function move_texte_defilant()
    {
      pos -= 1;
      if (pos <= -text.offsetWidth)
      pos = MAXPOS;
      text.style.margin = "0 0 0 " + pos + "px";
      setTimeout("move_texte_defilant()", DELAY);
    }
    setTimeout("move_texte_defilant()", DELAY);