La festa dei lavoratori. Il primo maggio a Brescia dalle origini alla prima guerra mondiale