Si Mario est rouge, c'est pour une raison bien précise, Nintendo ne laisse rien au hasard