D'où vient la tradition du 1er mai :