A quand un cross-over entre Mario et Daft Punk ?