Manifestations du 1er mai : ultra-gauche, gilets jaunes... Des violences attendues, 12 000 forces de l'ordre mobilisées