Introduction aux tests de contrat avec des exemples

^