réciproque de Pythagore