retrancher (V) — retranchement (N)
retranchement : Tout ce qu'on a retranché d'une chambre ou de toute autre pièce, soit pour lui donner une meilleure proportion, soit pour lui procurer quelque commodité.