Coup dur pour un géant des dessins animés : Pixar, filiale de Disney, se sépare d'un quart de son personnel