Grève des professeurs le 10 septembre : un mouvement très suivi ?