Mario Galaxy vient d'avoir dix ans.