Si vous souhaitez voir ou revoir facilement les vidéos du site Arte+7, vous pouvez utiliser le script shell [1]), qui se trouve en annexe.
Il repose sur le fabuleux framework, GStreamer.
Édit (mise à jour, 28 juin 2013) : Lisez bien les prérequis notamment si vous êtes sous Debian/Ubuntu ou LinuxMint.