Text this: Leibniz entre logicisme, formalisme et intuitionnisme ?