EN DIRECT - Grève du jeudi 10 novembre : les informations sur cette journée de mobilisation