"air traffic service charge"

means an amount levied by the company on an operator of an aircraft or an airport in connection with the use of any air navigation infrastructure by, or the provision of an air traffic service to, such operator;