Séquence 17: La réciproque de Pythagore