Le site de référence http://www.encodage.org propose un scripte simpas : il suffis de rajouter l'adresse de la vidéo que vous souhaitez télécharger derrière le "?" de l'adresse
http://www.encodage.org/arte.php?
et il vous fournis la ligne de commande qui permet de télécharger la vidéo avec RTMPDump. beau boulot.
repérer le "code" de la vidéo
https://www.arte.tv/fr/videos/100926-000-A/rodolphe-burger/
l'insérer dans le lien
https://api.arte.tv/api/player/v1/config/fr/100926-000-AChoisir le lien vers la vidéo en meilleur qualité (xq), la télécharger avec wget.