Many corrections since they diverged, worth a full pipeline
assigned to @gracinet
aborted the automatic merge because source branch was updated
added 1 commit
Compare with previous version
merged