Opera omnia. - [SAN BENITO, José de.]