Lagrange [release]

Merge branch 'dev' into release

a9910c3ef7d5438e1bc7f8347f9c8f054c4be492