Lagrange [release]

Merge branch 'dev' into release

70230fead38e111d1566673daa85642e3b355cf9