Flan > il y a un patch pour window maker (mis par défaut dans pas mal de distributions je crois) qui le fait (dockhotkeys), mais avec gnome je sais pas. (En fait ça associe un raccourci clavier à une icône du dock ou du clip, mais gnome n'a pas de dock ou de clip ni même d'icône d'application autant que je sache, donc c'est sans doute légèrement plus compliqué à faire )