Is there a program that can do that?
To download the deb, here.
Qarte has a second part dedicated to arte live web
Also, cross-platform solution:
A userscript does the trick. Can be used with Greasemonkey in Firefox and Tampermonkey in Chrome - so this is a cross-platform solution.
It will display download option under the video screen.
As the userscript or Qarte may stop working, and especially because I experienced problems with the quality of the video files downloaded as flv by Qarte, I want to elaborate a bit on what seems to me one of the best solutions posted under this question, namely THIS by Mariane by mentioning some adjustments to the steps to follow:
Arte.tv website has been completly rewritten in March 2013... Probably old scripts and hacks have not updated their code.
I have created a small standalone php webpage that allow you to download, without any software or account any Arte+7 videos as a MP4 file , just go there: http://floriancrouzat.net/arte/ and paste your Arte+7 URL. If you liked it, either recommend the page or leave me a comment, it's always a pleasure ;) -- Florian
There is qarte (http://www.oqapy.eu/download?lang=en), but you still need to be in a country where you can watch Arte.
There is a how-to in French here : http://doc.ubuntu-fr.org/qarte
You could try my python script. It is an interactive menu based application. Still some work to be finished. But mostly working
Go and get it at https://github.com/solsticedhiver/arteVIDEOS
But most arte+7 videos are available on youtube nowadays so any youtube downloader can get you what you want most of the time.
Another way to do it:
The first URL found is something like that: http://arte.tv/papi/tvguide/videos/stream/player/F/053366-002_PLUS7-F/ALL/ALL.json
There are several
They are all written on one line, so copy-pasting to a text editor helps. It becomes possible to use new lines where the closing brackets are, and thus to separate the versions. Warning: there are also versions other than mp4 files.
Once you have found the link you want, copy this new link to browser (e. g. Firefox) and wait if necessary. When you see the player, right-click on it and choose "save video as".
Thanks to Nikola for the first part of this answer.