Extension d’une habitation en pierre du pays. Menuiseries industrielles