Bonjour,

Je vous propose un nouvel élément à utiliser : FileSearch

FileSearch est une API permettant de faire de la recherche de fichiers (dans des dossiers ou des fichiers de type zip/Jar).

Qu'en pensez-vous ?