{"name": "Euronext N.V."}