> Y'a-t-il quelque différence entre les deux groupes de machines? P.e., > est-ce que les trois premières machines ont des claviers USB, et la > quatrième un clavier PS/2? Quand j'ai constaté le bug mardi, c'était sur un portable sans clavier USB (donc PS/2...enfin le clavier interne du portable). Quand je n'ai pas pu le reproduire, c'était hier sous VmWare et QEmu où le clavier émulé est , sauf erreur, un clavier PS/2.