Vinci noteert omzet van ruim 15 miljard