Gas burners / Pocket gas burner