Paris : la mairie du XVIIe végétalise sa façade