Merge branch 'develop'

2 jobs for 1.2.0
latest
Status Job ID Name Coverage
  Build
canceled #1184175
qlf-ci.inria.fr
build

 
  Integration Tests
canceled #1184176
qlf-ci.inria.fr
integration-tests