Quels sont les liens entre Matzneff et Girard, qui vient de démissionner de la mairie de Paris ?