ajout EOF