double-declutch
double-declutch ▶verb [ no obj. ] Brit. release and re-engage the clutch of a vehicle twice when changing gear.