L'Inspection générale de l'enseignement supérieur au XIXe siècle — Institut national de recherche pédagogique. Service d'histoire de l'éducation. France