François Mondot

Réponse tardive, mais ayant rencontré récemment le problème, j'ai fouillé un peu et trouvé la solution, je la poste donc ici si certains rencontrent à leur tour ce problème : Il suffit d'aller dans la lite des chaînes, et de choisir à nouveau Gracenote dans la colonne "Guide des programmes". Si on attends un petit peu s'affiche alors une (longue) liste de guides. En tapant Arte dans le champs de recherche, on peut choisir les guides des différentes diffusions d'Arte. Chez moi ARTE (Deutsch) ARTE (français) Arte 1 (portugues) Arte 1 HD (portugues) ARTE HD (Deutsch)