Ajouter un en-tête Linux Ubuntu 18.04
You should be able to install the kernel header files
for the currently running kernel by running the following
in a terminal:
sudo apt-get install linux-headers-$(uname -r)
In general, the kernel header packages are named
linux-header-* where "*" indicates the version & variant
(generic, server, etc.).
Merwanski