PÉTROLE n. m.
XIII^e siècle, petteroile, puis petrole. Emprunté du latin médiéval (oleum) petroleum, « (huile) de pierre », lui-même dérivé de petra, « pierre ». Huile minérale d'origine naturelle, issue de l'accumulation et de la transformation de matière organique, et qui est composée d'un mélange complexe d'hydrocarbures. Le pétrole est utilisé principalement comme source d'énergie. Pétrole brut ou, ellipt., brut, qui n'a pas été raffiné. Le kérosène, les essences, le gazole, les paraffines sont des produits obtenus par distillation des pétroles. Gaz de pétrole liquéfié ou, par abréviation, G.P.L., voir Gaz. Coke de pétrole, voir Coke. Les gisements de pétrole du Texas, de l'Arabie Saoudite. Les réserves de pétrole de la mer Caspienne. Nappe, puits, raffinerie de pétrole. Exporter, importer du pétrole. Baril de pétrole. Pétrole lampant, voir Lampant. Lampe, réchaud à pétrole, alimentés par un des produits de distillation du pétrole. • En apposition. Couleur bleu pétrole, d'un bleu intense tirant sur le vert. Ellipt. Un foulard bleu pétrole. Des chemises pétrole.