Lagrange [release]
Merge branch 'dev' into release
6a89be19a5b893a15c7b4731939c15101a9b7bf1