Agents des ressources humaines : Grève du 11 au 13 juillet pour de meilleures conditions