cintre (N) — décintrer (V)
décintrer : Dégarnir une voûte des cintres qu'on avait placés pour la construire.