Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Comment out most of 430060e9. Clean-up some dependencies in top-level Makefile