5G à Paris : un accord trouvé entre la mairie et les opérateurs