Diccionario etimológico español e hispánico - García de Diego, Vicente