Como te han dicho el 457 es muy nuevo, por eso aun no sale en la web de Samsung. El TDT en HD necesitarás un deco externo, pero no creo que cueste 36€ sino bastante más. De todas formas en 23" no notarás gran cosa por el TDT-HD a no ser que estés muy cerca de la tele.

Por 100 euros vete por la 457, la R86 lleva varios años en el mercado, y es un panel vetusto.