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