Papin, Denis, 1647-1714