Lagrange [release]

Merge branch 'dev' into release

b5093c8d96c32a1f483e6460e60ba856b01ed003