Merge branch 'develop'

3 jobs for master in 42 minutes and 28 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #1479446
qlf-ci.inria.fr
build

00:10:27

 
  Quality
passed #1479447
qlf-ci.inria.fr
quality

00:07:26

 
  E2e Tests Docker
passed #1479448
qlf-ci.inria.fr
e2e-tests-docker

00:24:34