1º de MAYO- DÍA DEL TRABAJADOR: SU ORIGEN. otra versión