Euronext compra la Bolsa de Dublín por 137 millones