O 1º de maio, Dia do Trabalhador, é uma data