Lagrange [release]

Merge branch 'dev' into release

fa65ce1f326fe84b48b5295ab7b305b0d213bc13