On connait tous la mascotte de Nintendo, Mario ! Mais ce que l'on connait moins, c'est l'origine de son nom ...