Thanks to all who answered my posting on this problem. It is now solved,
thanks to the tip of Graham Williams. I have downloaded a new kernel:
ftp://ftp.debian.org/ac184/linux/distributions/debian/buzz-fixed/disk...
The default Debian kernel apparently no longer supports PS/2 mice.
Jorge
PS:Got my serial mouse back! :-)