Lagrange [release]

Merge branch 'dev' into release

ca48ef5e7cff2ba1fbcc4b8afebd0456cb5701a7