PÉTROLE, subst. masc.
Étymol. et Hist.1. Ca 1240
petteroile «huile minérale naturelle» (
Chirurgie de Roger de Salerne, 296 v
ods
Z. fr. Spr. Lit. t.86, p.250);
xiiies.
petrole (
Livre des simples medecines, § 911, éd. P. Dorveaux, p.157);
2. a) 1866
lampe à pétrole (
Amiel,
Journal, p.394);
b) 1903
pétrole lampant (
Nouv. Lar. ill.);
3. 1951 couleur (
Catal. Bon Marché,
loc. cit.); 1962
bleu, vert pétrole (
Rob.). Empr. au lat. médiév.
petroleum (aussi
petroleum oleum) «huile minérale» (
xiiies. ds
Nierm. et
Blaise Lat. Med. Aev.), proprement «huile de pierre» (du lat. class.
petra, v.
pierre et
oleum, v.
huile).