Update : the mouse works after an update, it was probably not a kernel bug
since it works whichever is the version of the kernel.
The bug can be closed.

Thomas

Reply via email to