VLC fait régulièrement planter l'applet de son de Cinnamon : une fois fermé, il reste indéfiniment, comme si un processus fantôme nommé VLC.instance# s'accaparait l'applet même après un killall.

Ouvrir /usr/share/cinnamon/applets/sound@cinnamon.org/applet.js et modifier :

let players_with_seek_support = [
    'clementine', 'banshee', 'rhythmbox', 'rhythmbox3', 'pragha', 'quodlibet',
    'amarok', 'xnoise', 'gmusicbrowser', 'vlc', 'qmmp', 'deadbeef', 'audacious'];

sudo add-apt-repository ppa:deadsnakes/ppa
sudo apt-get update

Search and install something like python36-full. Then you can use pip with it:

python3.6 -m pip install [Package_to_install]