Euronext: omzet aandelenhandel juli EUR 173,8 mrd (129,1)