Text this: Ménélaüs: un mathématicien proto-intuitionniste ?