Sciopero del 20 maggio “contro politica della guerra”: info, orari, settori coinvolti