// JavaScript Document
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()", 50);//délai de deplacement