Macros d'assertion

assert!(condition);
assert_eq!(gauche, droite);
assert_ne!(a, b);
assert!(x > 0, "x doit être positif, reçu {x}");   // message personnalisé
debug_assert!(invariant);                          // uniquement en debug