Atok a écritC'est ça.
Faut avouer que celui de gnome-shell est bien sympa. Très épuré, mais très agréable finalement. Tout comme le alt-F2.
Ça serait bien juste en plus de ce alt-F2 un menu un peu comme dans celui de KDE4 que je trouve assez réussi, où on peu choisir entre ouvrir des applications, les contacts ou les fichiers... très pratique somme toute 🙂
C'est Beagle il me semble : comme KRunner mais pour Gnome, sauf que KDE à mit le paquet sur KRunner ces derniers temps et Gnome pas trop sur Beagle, donc il doit supporter moins de chose (excepté pour deux trois trucs en plus qui sont bien sympa, il me semble qu'il peut chercher sur google et wikipédia).
Le problème c'est que Beagle est pas très optimisé si je me souviens bien, donc c'est assez peu probable qu'il ait droit à une véritable intégration dans Gnome qui préférera le relayer en tant qu'option.
Mais c'est sûr que ce serait bien, particulièrement intégré au Gnome-Shell : ça aurait tout à fait sa place à côté de Zeitgeist (pour rechercher des contacts, des sites webs, des articles wikipédia comme on rechercherait des fichiers ou des applications).