Salut,
Personnellement je ne me suis jamais penché vers une solution graphique (j'utilise très peu les outils graphiques pour ce genre de chose), mais en ouvrant un terminal tu peux utiliser la commande suivante (en remplaçant ext par l'extension désirée) :
find / -name "*.ext" 2>/dev/null
find est le nom du programme
/ est le répertoire à partir duquel on veux effectuer la recherche (donc / pour indiquer la racine et donc partout). Si tu veux rechercher uniquement dans ton répertoire personnel, utilise ~/ à la place.
-name "*.ext" sert à dire que l'on veux que les ficheirs recherchés aient un nom qui se termine par .ext
2>/dev/null sert à supprimer les erreur (par exemple accès refusé à un répertoire)
