La préfecture de police de Paris a annoncé, samedi, que plus de 9 000 policiers, gendarmes et militaires seront mobilisés pour les trois manifestations prévues le 1er mai à Paris.