Grève du jeudi 10 novembre : quel impact sur les écoles faut-il prévoir des fermetures ?