Supply of a gas pipe (gas burner)