fichier d'input de l'extracteur