a well into which gas is injected for the purpose of maintaining or supplementing pressure in an oil reservoir.