Re-bonjour,
Je me réponds, car j'ai un peu progressé, bien que le problème ne soit pas réglé ! J'ai contourné le souci en passant par le truchement de tkinter. Pour une raison que j'ignore encore, ça fonctionne, sauf que ça oblige à exporter tout le serveur X vers le client, ça doit manger un paquet de ressources ! La question précédente reste posée.
Merci pour vos avis éclairés,
Guy