Egungo Euskararen Hiztegia (EEH) hasiera: bere horretan: definizioan: petrolagune / petroldegi petrolaki ik petrolioki.