1er-Mai : 12.000 policiers et gendarmes mobilisés en France, dont 5.000 à Paris