Lagrange [release]

Merge branch 'dev' into release

989cb04f5f64a48cfe05919eff916dd18f780b6e