Petri Gassendi Animadversiones in decimum librum Diogenis Laertii | lit.salon