L’Encyclopédie/1re édition/PETROSILEX
(Tome 12, p. 473).
PETROSILEX, (Hist. nat. Lithologie.) nom générique que M. Wallerius donne à une pierre de la nature du jaspe ou du caillou, sans cependant avoir tout-à-fait sa dureté, & sans faire feu aussi vivement que lui lorsqu’on le frappe avec le caillou ; on le trouve par lits & par couches suivies : pour le vitrifier il faut un feu très-violent. C’est une roche silicée, ou de la nature du caillou, mais qui n’est point en morceaux ou en masses détachées comme lui, le jaspe en est une variété. Voyez la Minéralogie de Walerius, tome I. pag. 176.