n° 54

def moyenne_valeurs(d):
    """Moyenne des valeurs de d. Precondition : d est NON VIDE."""
    assert len(d) > 0, "moyenne d'un dictionnaire vide"
    return sum(d.values()) / len(d)

assert moyenne_valeurs({"a": 2, "b": 4}) == 3.0
try:
    moyenne_valeurs({})
    assert False
except AssertionError as e:
    assert "vide" in str(e)

Sans la précondition, le dictionnaire vide donnerait ZeroDivisionError : une erreur qui parle du code et non du problème. L'assert arrête au même endroit, mais en disant pourquoi.