j'ai "apt-get install kernel-source", mais pas pour mon kernel.
Il faudrait que je trouve un repository avec les sources de mon kernel.