EP3333461B1 - Device for Controlling the Gear Shifting of a Manual Gearbox of a Vehicle According to the Speed