À Toulon, un quai de 450 mètres de long pour le futur porte-avions de la Marine, un record