Lagrange [release]

Merge branch 'dev' into release

7534fe98cba3b1620ebef1a6040cb6e178b88378