What’s this nut called

It’s used to secure a cable on a bbq. Small top bit is sprung. I need the nut for top but no idea what the nut is called.