Wiktionary
double-declutch
vb. To disengage the clutch twice in quick succession to change gear on a vehicle with no synchromesh