Merci pour vos envois; je referai des tests demain et je vous tiendrai au courant sur ce site.
J’aime bien ce site d’ailleurs. Quoi de mieux que Debian? 
Bonne soirée et à demain.
Comme promis, j’ai donc à l’instant refait le test en changeant la mention du driver ati par celle du “radeon” sur mon xorg.conf , et tout a fonctionné correctement cette fois.
Somme toute je ne comprends pas bien pourquoi j’ai eu tant de mal à remplacer gdm3 par lightdm…
Merci encore à tous pour votre participation, et longue vie à Debian, ainsi qu’à ce site très convivial.