Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
- cleanup unused code in OE_interfaceDisplay::mouse_Pos method
