le ministère de l’Industrie