Arte.TV Video Downloader Tampermonkey Greasemonkey Script

You need either Greasemonkey or Tampermonkey installed.

Then click here, install the script and visit a video page on the arte.tv site (e.g. this one).

It should look like this:

Just click on the video format you want to download.