Lagrange [release]
Merge branch 'dev' into release
989cb04f5f64a48cfe05919eff916dd18f780b6e