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