En fait il y a deux problèmes, l'un consiste à obtenir sur les canaux 1,2, 6 et 7 les chaînes en HD normalement placées sur les canaux 51,52,56 et 57.
La manœuvre proposée plus haut par AAA aboutit chez moi à ce résultat, je suis donc content.
Mais plus généralement on peut poser la question du changement de canal indépendamment de la HD et là je n'ai rien essayé (et pour mon usage personnel ce n'est pas utile).