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