Merge branch 'develop' into master

2 jobs for 1.4.0 in 30 minutes and 42 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #1414113
qlf-ci.inria.fr
build

00:09:33

 
  Integration Tests
passed #1414114
qlf-ci.inria.fr
integration-tests

00:21:08