Gitlab has been updated. More info here.
@chamont , @sbinet
Comme convenu, j'ai suivi la proposition de David, avec 2 plongeons.