Le président Xi quitte Pékin pour la Corée du Nord (media d’Etat chinois)