La preuve de programme vous fera apprécier les tests