Je précise un peu plus.
Le touchpad s'est désactivé du jour au lendemain. Quand je vais dans les propriétés du matériel, il m'indique que "ce périphérique fonctionne correctement". Cela dit, en vérité il ne fonctionne pas du tout: ni le touchpad, ni les boutons droit/gauche, ni les petits boutons de défilement.
Je ne vois pas du tout à quoi c'est dû...