OK, I finally found the solution. I looked at the xorg.conf file of another computer, which also has a wheel mouse, and I simply copied the parameters to the computer I was trying to configure.
Here are the correct parameter for a PS2 3-buttons wheel mouse from Dell:
Code:
Section "InputDevice"
Driver "mouse"
Identifier "Mouse[1]"
Option "Buttons" "5"
Option "Device" "/dev/input/mice"
Option "Name" "ImPS/2 Generic Wheel Mouse"
Option "Protocol" "explorerps/2"
Option "Vendor" "Sysp"
Option "ZAxisMapping" "4 5"
EndSection
After modifying the file, I rebooted (as I did so many times since I first tried to change this mouse).
Some more notes:
1. there is another xorg.conf file at /var/lib/sax/xorg.conf. I did not touch this one.
2. It seems that the boot-time became longer now. Don't know why.
3. I like manual editing of files much better than automatic stuff (like yast). Of course, yast is more intuitive, but it only work sometimes. And sometimes it does not word. I think it would be nice if yast would indicate more clearly exactly what it does, so that one can also do it manually.
Regards,
Benjamin