Les développeurs de #gnome music ont nettement amélioré les performances avec la version 3.16 !