Le jeu est lié au compte et à la machine.
Si tu formates ta console, tu n'auras plus accès au compte (il te faudrait les identifiants) et tu perdras le jeu.
Va voir dans la mémoire de la console, si le jeu est toujours installé. S'il ne l'est pas, ouvre l'eshop, va sur la page de MK8 et tu devrais pouvoir le retélécharger gratuitement (si l'accès au compte est effectif).
Le jeu pèse 5go sans DLC.