du ministère de l’Industrie