S07 : Réciproque du théorème de Pythagore