Diccionario de autoridades (Gredos, 1963)