function texteDefile() {
   if (!defile) defile = document.getElementById('defile');
   if (defile) {
      if(pscrnt < ( - defile.offsetWidth) ){
         pscrnt = psinit;
                } else {
         pscrnt+= -1; // pixel par deplacement
      }
      defile.style.left = pscrnt+"px";
   }
}

function change_couleur_titre(couleur) {
	if (document.getElementById('bandeau_titre'))
		document.getElementById('bandeau_titre').style.background = couleur;
}