A la mairie de Paris, démission surprise de Christophe Girard