"Ad publicam utilitatem": libri dalla biblioteca del frate agostiniano Filippo Lachini (ca. 1600-1667)