pour ma part, c'est mon ampli 5.1 qui fait switch hdmi... donc j'imagine que c'est aussi hors budget