The thoughts, letters, and opuscules of Blaise Pascal;