Réforme des retraites : 10 000 policiers et gendarmes mobilisés pour la grève de jeudi