Grève du secteur public ce mardi 31 mai: ce à quoi il faut s'attendre