Lagrange [release]
Merge branch 'dev' into release
2cc4f2e37a96044002986b81081c60c10fee8a35