Le (ex-totem?) Lecteur vidéo propose l'installation de gstreamer1.0-plugins-bad, mais après l'installation il n'y a pas de lecture, rien. Lorsque j'essaie d'ouvrir à nouveau le fichier .midi, le lecteur vidéo revient à plusieurs reprises avec l'installation. Donc je suppose que ce n'est pas le bon...