Lagrange [release]
Merge branch 'dev' into release
1ecac10a9a5e0add3224ceb4f05677ece65cd541