Non, normalement tu l'installes comme tu as fais pour la re13! Pas besoins de désinstaller, la rev10 écrasant la rev13!
Mais c'est quand même étrange, je n'avais pas besoin d"éteindre la console pour changer de jeu en rev13, juste obligé de retourner au menu wii et de relancer l'USB Loader!