Le décret portant majoration de la rémunération des agents publics est paru !