Quel décodeur TNT satellite à l'étranger

Bonjour,
L'ignare que je suis, s'excuse d'avance de poser une question que beaucoup vont juger très bête.
Je réside en Espagne et je voudrai alimenter 2 télévisions pour avoir accès à la TNT française, via le satellite (je crois que c'est Astra).
Quel décodeur faut-il que j'achète (je pense qu'il y en a qui sont plus performants que d'autres) et comment l'installation doit être réalisée, étant entendu que celle-ci sera effectuée par un professionnel. Avant, je voudrai savoir comment le montage doit être effectué.
A titre info, un installateur espagnol m'a déclaré qu'il fallait 2 décodeurs à 400 € piéce, plus le reste.
Sur Internet, j'ai trouvé plein de décodeurs à des prix extrêmement variables et je ne sais vraiment pas où je vais.
Actuellement, nos 2 TV reçoivent les 5 chaines de base via une parabole (je ne connais pas le satellite) et 2 démodulateurs.
Quand je vous disais que j'étais un ignare.
Merci d'avance à ceux qui auront la gentillesse d'éclairer ma lanterne.