Lagrange [release]
Merge branch 'dev' into release
70230fead38e111d1566673daa85642e3b355cf9