Pascal, Blaise – L’œuvre de Pascal