or "gnome-run". However, those other tools don't have some nice and important features: the very useful feature that allows one to use it with keyboard only, and to be fast enough. Testing, some corrections, and ok, ajacoutot@
