“Le Roi Lion” est désormais le film d’animation le plus rentable de tous les temps