Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Backout d5be40be. This change is logically correct but unmasks a lot of issues. Reverted for now.