Lagrange [release]

Merge branch 'dev' into release

0562c2a9d15a91ecd571e6f67ffbb275215e46d9