Double declutching:

Literally meaning, ‘disengaging the clutch two times’, the procedure is used in case of gear box without synchroniser, to gear down, i.e., to obtain lower gear.