Euronext publishes third quarter 2017 results (8.11.2017)