Petri Gassendi Animaduersiones in decimum librum Diogenis Laertij | lit.salon