J'ai trouvé l'indication suivante : /XEN
Pour compléter les informations déjà données : je peux dire que tout fonctionne : le time shifting, l'enregistrement (mais seulement du flux qui traverse le tuner par l'entrée Auxilliaire 1, flux que je dois sélectionner par le tuner TNT externe), gravure DVD, programmation d'un enregistrement (mais je suis obligé de rester sur AV1 et de préselectionner la chaine sur le tuner puisque le lecteur ne "connait" aucune chaine par lui même.
Finalement je viens de l'amener à un dépôt indiqué par CDiscount pour ce type de métériel Samsung et on m'a dit dans deux ou trois semaines.
Je vous remercie d'avoir tenté de m'aider et je ne sais comment cloturer cette suite de messages ?