Sciopero generale di tutto il pubblico impiego del 17 nvembre 2023