No tenemos la biografía de Domingo del Pino.