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