L’Encyclopédie/1re édition/EXTRADOS
(Tome 6, p. 334).
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)