Vingt policiers supplémentaires déployés dans la Gare du midi