ou PIERRE DE PETITE VEROLE, (Histoire naturelle, Lithologie) 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 espèce de granite ou des fragments de granite qui ont été roulés et arrondis comme des galets.