Peut-on appliquer une retenue sur la prime de service des agents qui ont eu des jours de grève ?