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