Sciopero 13 e 14 luglio 2023 in Trenitalia, Trenitalia Tper e Trenord: norme tecniche. 12 Luglio 2023