var menu_defile;//l'élement a déplacer
var pscrnt = 0;//position verticale de départ
function texteDefile()
{
   if (typeof this.sens == 'undefined')
      this.sens = -1;
   if(!menu_defile)
      menu_defile = document.getElementById('menu_defile');
   if((pscrnt < -menu_defile.offsetHeight) || (pscrnt > 0))
      this.sens *= -1;
   pscrnt += this.sens * 1;//sens * nb de pixel par déplacement
   menu_defile.style.top = pscrnt+"px";
}
var timer = setInterval("texteDefile()", 100);//délai de deplacement