Oleum petræ, (lat., af oleum + petra klippe, sten), petroleum.