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

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)

