Per l’onomastica italiana antica: le risorse dell’Opera del Vocabolario italiano