(Histoire naturelle, Minéralogie) c'est en général l'opération par laquelle la nature forme des pierres, voyez PIERRES. Il faut la distinguer de la pétrification, qui est une opération par laquelle la nature change en pierres des substances qui auparavant n'appartenaient point au règne minéral. Voyez PETRIFICATION.