El archivo de Juan Pivel Devoto se integrará al Archivo General de la Nación