Paye des directeurs d'école en baisse en octobre - commentaires