artículos del Diccionario Histórico Biográfico de Mendiburu, en