...alors, finalement j'ai fais un clear bios, mais ça n'a rien donné.
Ensuite, j'ai démarré en mode "dernière bonne configuration connue"... pareil.
En fin de compte, j'ai mis à jour le pilote de la CG (Radeon X300), et j'ai l'impression que maintenant ça marche : J'ai redémarré plusieurs fois, et plus de problème (et en plus le temps total de démarrage est plus rapide qu'avant !)
Bref, j'espère que ça va se confirmer dans le temps.
Merci à tous.