Ça y est, Windows 10 est bien installé, et ce que je craignais est arrivé.
Impossible de régler l'OS à la bonne résolution, celle-ci est bien inférieure, et de plus le clavier n'est plus reconnu comme français…
Ça m'a l'air d'être uniquement un problème de pilotes, mais où donc les trouver ?
MàJ : concernant le clavier, il est au final reconnu, une icône sur le menu Démarrer m'a permis le changement vers le bon. Pour la définition, j'attends les mises à jour, d'après Windows Update, l'une est nommée "NVIDIA driver update for NVIDIA GeForce 9400" donc peut-être Windows 10 va-t-il fonctionner correctement après ça. Par contre c'est terriblement long. =(