Ajoute un fichier qui manquait mystérieusement.