// explication des checker // exemple pratique // philosophie // implémetaion est contract