Gostaria de saber a origem da palavra “petróleo”. Deduzo que tenha a ver com o processo de aglutinação: pétreo (pedra) + óleo, mas gostaria de confirmar minhas suspeitas.

Agradeço e parabéns pelo site, que, para mim, é um dos mais úteis da internet. Aliás, vocês já pensaram em lançar este dicionário em forma de um CD rom, a fim de facilitar o contato com a etimologia àqueles que, infelizmente, não têm acesso à internet em casa? Seria uma boa.