Lagrange [release]
Merge branch 'dev' into release
9e1afb7cbff418befa254ce38b8fc275a91cdf88