3 ms·

(I checked Grothendieck's quote after I got home. It wasn't "plodding turtle" but rather "dumb ox.")