Euronext announces volumes for October 2017 (3.11.2017)