El Real y más antiguo Colegio de San Pedro y San Pablo y San Ildefonso - Trens, Manuel (Boletín del Archivo General de la Nación, 2025)