Super Mario Bros réalise le meilleur démarrage pour un film d'animation (box-office)