Gabriel Pino Roca, así como a un conjunto de documentos inéditos que le facilitara Pedro José Huerta.