«Pantin s'appellera pendant un an Pantine» : pourquoi le maire change-t-il le nom de la ville ?