Grève du 13 octobre: trafic TGV "quasi-normal", des perturbations à prévoir sur le reste du réseau