A history of the mathematical theory of probability from the time of Pascal to that of Laplace