function bandeau_haut() { document.write('

'); }