Concernant les formats je ne suis vraiment pas a l'aise avec ca. Mais je dirais, que c'est plutot niveau software qu'il faut voir si compatibilite ou non. Mais en soit, si c'est une distrib linux, il doit y avoir un soft capable de lire ces formats. Pour XBMC, j'ai pu voir que ca fonctionnait en activant le desentrelacement.
Ca reste a confirmer niveau hardware, par quelqu'un de plus calé.
Tu pourra trouver pas mal d'infos sur les specs ici :
http://fr.wikipedia.org/wiki/Raspberry_Pi
P.S. c'est vrai que leur site au premier abord est tres succint concernant les caracteristiques. D'ailleurs attention, car il existe deux modeles, dont un qui n'a pas de rj45 apparemment. Sauf erreur de ma part.