Lagrange [release]
Merge branch 'dev' into release
b5093c8d96c32a1f483e6460e60ba856b01ed003