Grève du 10 novembre: la moitié des lignes de métros à Paris seront fermées, trafic RER très perturbé