Activer le mp4/mp3 sur vivaldi (Linux).
Fonctionne sous Debian 9 x64 (et Ubuntu normalement). Il s'agit en réalité juste d'un fichier libffmpeg.so qui est téléchargé pour vivaldi. (/home/fanch/.local/lib/vivaldi/libffmpeg.so)