La part de l'industrie dans le PIB est-elle deux fois plus faible en France qu'en Allemagne ?