Hey you! Yes, you! Thank you for adding beauty to the world!
Definitions of double-clutch:
verb: To change down gears in a motor vehicle by using the clutch once to move from a gear to neutral, engaging transmission in neutral, and then using the clutch again to move from neutral to the lower gear; to double-declutch.