L’Encyclopédie/1re édition/EXTRADOSSÉ
(Tome 6, p. 334).
EXTRADOSSÉ, adject. en Architecture. On dit qu’une voûte est extradossée, lorsque le dehors n’en est pas brut, & que les queues des pierres en sont coupées également, ensorte que le parement extérieur est aussi uni que celui de la doüelle, comme à la voûte de l’église de S. Sulpice à Paris. (P)