alexander grothendieck, pixar movie, 3 d animated, 4 k