Support videos hosted on Arte.tv
Use the add-on plugin.video.arteplussept to play videos hosted on Arte.tv
This add-on is available in the official Kodi repository even though the
add-on has not been released in very long time (Nov 2018).
A new add-on
was recently developed but it is not available in the official repository
so I prefer relying on the first one to simplify the install process.