Euh, n'utilisant pas cet OS pourri où c'est le bordel de changer de pilotes, je ne sais pas la démarche exacte, mais ça passe par le panneau de configuration, il faut choisir la TI dans la liste du matériel (qui en plus change de place de version en version), puis dans les propriétés choisir "Autre pilote", "Disquette" (à moins qu'ils n'aient mis un nom plus à jour avec l'époque actuelle pour ça

) et puis choisir le bon .inf (celui de TI-Connect doit se trouver quelque part à l'intérieur du répertoire TI-Connect).