Festa del lavoro? Festa dei lavoratori? O una festa alla quale varrebbe la pena attribuire nuovi valori?