Faut-il travailler le 1er mai ?