gás de cidade[Portugais]

nom
1 : gaseous mixture produced by distillation of bituminous coal and used for heating and lighting