ok petit complément pour ceux que ca intéresse.
A l'heure actuelle player mini 4k recu en nov 2016, le boitier peut se connecter en wifi en 2.4 et 5GHz (ou avec le freeplug fourni).
Malheureusement l'antenne interne est sans doute assez mauvaise comme d'habitude, et la connexion en 5GHz au serveur (revolution) dans une pièce quasi en face (portes ouvertes) est à 60% ce qui ne permet pas de soutenir le flux TV.
Par contre la bonne nouvelle est qu’effectivement la configuration réseau de ce player est différente de celle du player revolution, car on peut utiliser un relais wifi lambda, coté player, pour remplacer le wifi du player mini et donc avec un meilleur wifi 5GHz ou AC, pas de problème de fonctionnement pour l'instant.
Donc voilà un "routeur" AC xiaomi mini à 25e (802.11AC 867Mbits, débit "réel" speedtest en AC d'environ 90Mbit bidir) couplé au mini player 4K et la TV passe enfin en wifi.
Je n'ai pas de doutes qu'un pont wifi complet permettra également de refaire marcher le player revolution "en wifi".