Euronext resolves mix up of buy and sell orders on trades struck on Tuesday