Commit ee0f4519cd7 by Georges Racinet

Merge from heptapod-0-8 branch

Nothing really specific to 0.8 that should not be in the main branch.
And this should fix the CI of this branch.

--HG--
branch : heptapod
Pipeline #2381 passed with stage
in 4 minutes 53 seconds