Tools whereby gas is introduced through their axis; Gas pumping means therefor