Double-clutching is a method of shifting gears used primarily for vehicles with an unsynchronized manual transmission, such as commercial trucks and specialty vehicles. Wikipedia