Finalement j'ai commandé celui-là :
https://www.cdiscount.com[...]853-auc0716866130514.html

C'est moins casse-couille que d'installer un raspberry-pi. En espérant qu'il va bien bouffer linux sans problèmes....