Manifestations du 1er mai : 540 interpellations et 406 policiers et gendarmes blessés, selon Darmanin