Les en-têtes de noyau VMPlayer sont trouvés

# Using pacman
sudo pacman -S linux-headers
# Using apt
sudo apt install linux-headers
The Nic