Improve coverage for 12.X versions
Following the release of 12.0, the coverage on new code, that was up to 95.2% on develop branch, inexplicably dropped to 94.8% when the merge on master branch was done.
See the list of uncovered lines here.
And now the quality gate is on "warning" on Orekit's official website...
I think this should be fixed in the next patch