Lagrange [release]
Merge branch 'dev' into release
4d518797954f67137c02efec0cfd010d0ee7bd46