Définitionsextradosser

extradosser

verbe
/ɛk.stʁa.do.se/
  1. ArchitectureFaire l’extrados.Extradosser une voûte.Les quatre arcades sont extradossées de murs percés à l’est d’une baie qui apporte un éclairage direct, sur les trois autres côtés d’une baie recoupée par une colonne qui assure un éclairage indirect.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.