GtkUIManager et raccourcis clavier.

Version imprimable