Vinci : bénéfice net 2023 en hausse de 10% à 4,7 milliards d'euros