une fonction supplémentaire pour les fichiers