Mini-pc customisé pour diffusion vidéo unique

Le but du projet est la fourniture d'une petite "boite" comportant simplement une prise HDMI (rien d'autre).
Lorsqu'on branche l'alimentation cela diffuse en boucle une vidéo (prédéfinie).
Pas de possibilité de changer la vidéo ni d'afficher rien d'autre (peut-être un jpeg au démarrage). En option chiffrement de la vidéo lorsqu'elle est stockée sur le disque du pc.
Dans la pratique le plus simple est probablement un mini-pc sous linux.

Le prestataire devra proposer une solution technique complète (le prix du matériel à acheter est bien sûr en plus du budget indicatif donné).