pétrosilex \pe.tʁɔ.si.lɛks\ masculin invariable
Le nom de pétrosilex me paroît tirer son origine d'un rapport général que ces pierres ont avec les vrais silex. Les minéralogistes allemands ont donné au pétrosilex le nom général de hornstein (horne corne, stein pierre, hornstein pierre de corne ) parcequ'ils ont cru remarquer une espèce de ressemblance entre ces pierres et la corne des animaux.— (J.-C. Delaméthairie, Journal de physique, de chimie et d'histoire naturelle et des arts Tome 63, Éd. Courcier, Paris 1803)
Il existe encore une classe de roches feldspathiques dont nous n'avons pas encore parlé, parce qu'elle est indépendante des granites: ce sont les eurites ou pétrosilex, tantôt purs, tantôt mélangés de cristaux de quartz, et que nous avons, par cette raison, désignés, dans la légende de la carte géologique, sous le nom de porphyres quartzifères, quoique, dans beaucoup de circonstances, cette roche ne possède pas la texture porphyrique.— (Armand Dufrénoy & Léonce Élie de Beaumont, Explication de la carte géologique de la France, chap. 3 : Terrains anciens et terrains de transition de la presqu'île de Bretagne, tome 1, Paris : Imprimerie royale, 1841, p. 195)