Budget 2025 : Était-il prévu de supprimer 4.000 enseignants, comme l'explique Yannick Jadot ?