Lagrange [release]
Merge branch 'dev' into release
5ec32b0ecaccf4b9cec3acbd007d84655cf9f255