Merci beaucoup à vous deux.
Effectivement, modifier le menu est sans doute la solution la plus élégante.
En tous cas, cette distribution est très agréable. Le seul bémol est le maigre volume de la documentation. Mais fort heureusement, vous êtes là !!
