https://www.linformatique.org/videolan-telecharger-vlc-media-player-pour-linux.html