Descartes, Leibniz et Spinoza en numérique