Gamme de prix ?

Bonjour,

Nous devons changer l'antenne collective de notre petit immeuble : 3 étages + R avec 13 locaux. Nous sommes au stade des devis et je voudrais savoir quels sont les gammes de prix d'un ampli ; le devis qui nous est proposé indique :

1 ampli 40 db TNT : 508,37 euro HT
1 antenne TNT UHF : 119,12 euro HT
2 répartiteurs à 60,66 euro l'un soit: 121,33 euro (sans précision du nombre de sorties...)
il y a le câble coax blindé de 25 m à 23,70 euro
25 fiches FR soit 47,39 euro

ma question est :qu'est ce que cela vaut ? je n'ai pas trouvé en cherchant " ampli 40db TNT" de produit à ce prix là ???