France. Ministère de l'éducation nationale. Division des constructions industrialisées.