L’Encyclopédie/1re édition/VARIOLITE
(Tome 16, p. 847).
VARIOLITE, ou Pierre de petite verole, (Hist. nat. Lithol.) variolithus, lapis variolarum, nom donné par les naturalistes à des pierres de différentes couleurs, remplies de taches ou de petits tubercules d’une couleur différente de celle du fond de la pierre. Quelques-uns donnent ce nom à une espece de granite ou des fragmens de granite qui ont été roulés & arrondis comme des gallets.