L’Encyclopédie/1re édition/PORTA SANTA
(Tome 13, p. 133).
PORTA SANTA, (Hist. nat.) nom que les Italiens donnent à un marbre d’un gris plus ou moins foncé, rempli de taches blanches & d’un rouge pâle ; il prend un très-beau poli, & se trouve en Italie.