Le "dictionnaire de pédagogie et d'instruction primaire" de Ferdinand Buisson — Institut national de recherche pédagogique. Service d'histoire de l'éducation. France