Les invariants sont plus faciles à définir que les bugs à trouver. Ça rime.