Seine-Saint-Denis : en 2023, la ville de Pantin s'appellera «Pantine» pour promouvoir l'égalité hommes-femmes