αρχείο Email: Leibniz entre logicisme, formalisme et intuitionnisme ?