Le premier mai, fête internationale des travailleurs du monde entier