Merci à didier et hamster, un mix des vos deux réponses m'a permis de
régler le soucis sur ma machine, par la manip suivante :
# cp /usr/share/applications/linux-show-player.desktop
/usr/local/share/applications/
# echo
"Icon=/usr/share/linux-show-player/icons/lisp/512/linux-show-player.png"
>>/usr/local/share/linux-show-player.desktop
Pour info, j'évite de mettre des lanceurs sur le bureau, je préfère la
barre de menus, à partir de laquelle il ne semble pas possible d'éditer
les lanceurs car probablement trop liés aux menus fournis par le système.
--
Léon