https://www.lojiciels.com/comment-desinstaller-vlc-dubuntu/