Test - Pourquoi mon algorithme fonctionne-t-il ? (invariants et terminaisons)