Material sobre el 1° de mayo, Día Internacional de las trabajadoras y los trabajadores.