Lagrange [release]
Merge branch 'dev' into release
935b6bad707f34b2bb76b5ffeac810567e6cf6a2