Le personnel de la Direction générale de l'Éducation permanente