Le fabricant chinois de téléphones Xiaomi doit être temporairement retiré d'une liste noire sur laquelle l'avait placé l'administration Trump, selon une décision d'un juge