Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
- add UI controls with numpad + - keys for width (+ctrl for len) and 1-> 6 for motif
