Notas etimológicas - García de Diego (1957)