CAVANILLES, ANTONIO JOSEPH, an eminent Spanish botanist. See SUPPLEMENT.