Bonjour

Je suis en train de mettre au point une aide pour GtkUIManager.
Elle n'est pas finie, je la mets au point et quand on met au clair des choses, ce n'est jamais aussi simple que prévu

Édit : voir fin du fil de discussion.