Restauration scolaire : note relative à la grève du mardi 10 octobre 2017