@drouille@mamot.fr It is absolute Possible to have multiple kernels Installed. It is common for Debian based Systems to have a separate package for each mojor kernel release. You may want to delete unneedet packages. Eg do a 'sudo apt-get autoremove.