L'amende infligée à la mairie de Paris pour "avoir nommé trop de femmes directrices" a été annulée