Thanks Jay, manually compiling the modules - as an interim solution - seems to work fine.
Some minor nuisances :
1.
$ make
cc1: error: unrecognized command line option "-m486"
make: ***
http://ppuser-stub.o Error 1
2.
- service vmware start
Starting VMware services:
Virtual machine monitor
OK
Virtual machine communication interface
OK
Blocking file system
OK
Virtual ethernet
FAILED
dmesg :
/dev/vmmon
27599: Module vmmon: registered with major=10 minor=165
/dev/vmmon
27599: Initial HV check: anyNotCapable=0 anyUnlocked=0 anyEnabled=0 anyDisabled=1
/dev/vmmon
27599: HV check: anyNotCapable=0 anyUnlocked=0 anyEnabled=0 anyDisabled=1
/dev/vmmon
27599: Module vmmon: initialized
/dev/vmci
27612: VMCI: Driver initialized.
/dev/vmci
27612: Module vmci: registered with major=10 minor=59
/dev/vmci
27612: Module vmci: initialized
SELinux: initialized (dev vmblock, type vmblock), uses genfs_contexts
/dev/vmnet: open called by PID 27673 (vmnet-bridge)
/dev/vmnet: hub 0 does not exist, allocating memory.
/dev/vmnet: port on hub 0 successfully opened
bridge-wlan0: is a Wireless Adapter
bridge-wlan0: up
bridge-wlan0: attached
/dev/vmnet: open called by PID 28222 (vmnet-dhcpd)
/dev/vmnet: hub 8 does not exist, allocating memory.
/dev/vmnet: port on hub 8 successfully opened
/dev/vmnet: open called by PID 28226 (vmnet-natd)
/dev/vmnet: port on hub 8 successfully opened
/dev/vmnet: open called by PID 28230 (vmnet-netifup)
/dev/vmnet: port on hub 8 successfully opened
vmnet8: no IPv6 routers present
(but networking works fine)
Regards and thanks again,
Didier