Opera omnia / Petrus Gassendus. - Gassendus, Petrus, 1592-1655 (Sumptibus Laurentii Anisson, & Ioan. Bapt. Devenet, 1658)