Mobilisation du 5 novembre : près de 16% des enseignants en grève (ministère)