I solved it by removing the package "gnome-remote-desktop", which was apparently the one causing trouble according to /var/log/dist-upgrade/20231217-1544/main.log:
2023-12-17 15:34:15,285 ERROR Dist-upgrade failed: 'Paquets cassés après mise à niveau : gnome-remote-desktop'
I solved it by removing the package "gnome- remote- desktop" , which was apparently the one causing trouble according to /var/log/ dist-upgrade/ 20231217- 1544/main. log:
2023-12-17 15:34:15,285 ERROR Dist-upgrade failed: 'Paquets cassés après mise à niveau : gnome-remote- desktop'