C´est effectivement Mario Mario.
Puisque dans l´appellation "Mario Bros" qui est le diminutif de "Mario Brothers", et qui signifie " Les Frères Mario", "Mario" est le nom de famille.
L´appellation fonctionne ainsi.
Donc, Mario de "Mario Brothers" s´appelle Mario Mario.
Luigi se nomme Luigi Mario.
Ensuite, pour leur double, j´en sais rien.
Wario Mario, Wario Wario, Wario Luigi, Wario-Donne-Moi-Une-Pizza... J´en sais rien.