Title: Logique et devenir de Leibniz à Russell et à poincare