Selon moi, le paquet concerné serait donc gnome-panel
Merci, je pense que c'est bien ça ... Plus qu'à rédiger le rapport de bug. Guy