Connaissez vous l'origine du nom de Mario ?

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

https://www.kiwys.tv/connaissez-vous-lorigine-du-nom-de-mario/