Title: Petri Gassendi Animadversiones in decimum librum Diogenis Laertii
People: Diogenes Laertius