modif in coverage.py