Lagrange [release]

Merge branch 'dev' into release

1ecac10a9a5e0add3224ceb4f05677ece65cd541