qu'effacer_repertoire_temporaire(), même si j'ai l'impression que les
deux font la même chose