Le 1er mai, avec Saint Joseph, patron des travailleurs