Les invariants sont puissants. Les assertions sont encore plus puissantes.