Origen de la celebración del Día Internacional de los Trabajadores el 1 de Mayo.