Réciproque du théorème de Pythagore.