Lagrange [release]
Merge branch 'dev' into release
1119dd91565d681924f93bed8b722fea59b616d7