1er Mai, journée internationale du travail.