L’Encyclopédie/1re édition/EXTRADOS

La bibliothèque libre.
Aller à la navigation Aller à la recherche
◄  EXTRACTION

EXTRADOS, s. m. (Coupe des pierres.) c’est la surface extérieure d’une voûte lorsqu’elle est réguliere, comme l’intrados, soit qu’elle lui soit parallele ou non. La plûpart des voûtes des ponts antiques étoient extradossées d’égale épaisseur. Le pont Notre-Dame à Paris est ainsi extradossé. (D)