Bijour,
Les fichiers en rouge dans la médiathèque, c'est pas important... Laisse les et ils partiront tous seuls (parfois - chez moi en tous cas mais rarement - un dl recommence et créée un autre fichier temporaire que celui qui avait été commencé: c'est ça qui "rend" le 1er rouge).
Ben oui, on peut lire les divx sur des platines à 60 euros. Il suffit que celles-ci soient censées lire les divx, que le divx soit correctement fait et que les codecs soient mis à jour.
Souvent, sur le site du constructeur de la platine, les codecs sont mis à jour: c'est à dire que tu as un petit fichier xxx.rom à télécharger, que tu graves tout seul sur un cd (ré-enregistrable par ex) au format iso 9660. Tu le mets dans ton lecteur divx qui met son firmware à jour tout seul.
D'où l'intérêt d'acheter une platine pour laquelle il est précisé que les codecs sont mis à jour sur son site... même à 60 euros ! (80 euros pour moi).
Bonne journée.