When was the French mathematician born who established Pascal's law?