Grève du 13 avril : 11.500 policiers et gendarmes mobilisés en France, dont 4.200 à Paris