US-Börse NYSE greift nach Euronext