function anim_accueil() { document.write('

'); } function anim_hall() { document.write('

'); }