dział górnictwa zajmujący się poszukiwaniem i eksploatacją złóż ropy naftowej i gazu ziemnego