@Eric FUn petit erratum : la part de l’industrie dans le PIB de la France est tombé en dessous de 10%