A quantitative finite-dimensional krivine theorem