Lagrange [release]

Merge branch 'dev' into release

be4b86c55e6b953f8630c1ec9844a46b5896bdc0