[Doxin]

Well I dunno, last time I checked by far most of Europe does in fact not call it petrol. I can't claim to know which word is most commonly used, but as an anecdote the dutch call it "benzine" which is also "wrong" but in a different way from both gas and petrol.

Seems to me no one can figure out what the proper name for this stuff ought to be :P