Kevin, il faudrait que tu lises des livres sur la programmation par contrat.