Merge main into current before checking coverage

Petite modification qui prend en compte le fait que d'autres personnes travaillent sur le même projet en même temps.