4 chp7 caps1 Contraposée du théorème de Pythagore