L'activité de Vinci en hausse de 9% au troisième trimestre 2023