Grève du 31 janvier : 11 000 policiers et gendarmes mobilisés en France