Lagrange [release]

Merge branch 'dev' into release

5ec32b0ecaccf4b9cec3acbd007d84655cf9f255