Oeuvres de Mariotte - Mariotte, Edmundo (1620-1684)