Éducation : près de 1 200 postes de professeurs en moins à la rentrée 2023, en raison de la baisse du nombre d'élèves