Nótese que el 1 de mayo no es fiesta nacional, aunque muchas compañías dan el día libre a sus trabajadores.