Lagrange [release]

Merge branch 'dev' into release

7c939cd8a6a600db69acdb1391d5595f0a6dfbcf