Bonjour,
Cet outil est fourni par le paquet gnome-search-tool, et est encore disponible pour Fedora 18 :
Nom : gnome-search-tool
Architecture : i686
Version : 3.6.0
Révision : 1.fc18
Taille : 2.6 M
Dépôt : installed
Depuis le dépôt : fedora
Résumé : Utility for finding files for GNOME
URL : http://www.gnome.org/gnome-3/
Licence : GPLv2+ and GFDL
Description : GNOME Search Tool is a utility for finding files on your system. To perform a
: basic search, you can type a filename or a partial filename, with or without
: wildcards. To refine your search, you can apply additional search options.
:
: GNOME Search Tool uses the find, grep, and locate UNIX commands. Since the
: find, grep, and locate commands support the -i option, all searches are
: case-insensitive.