The life of Monsieur Des Cartes, containing the history of his philosophy and works