Les agents travaillant le 1er mai ne seront finalement plus payés double