Girolamo Vittori, lexicógrafo e hispanista italiano del siglo XVII.