var menu_defile;//l'élement a déplacer 
var timer;
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"; 
} 



function defileOn() {
	timer = setInterval("texteDefile()", 125);
} 


function defileOff() {
	clearInterval(timer);
}