Oui j'en avais besoin pour installer un vieux gcc pour un vieux programme pour les cours. Ce serait ca le problème ?
J'ai relancé la commande pour réinstaller le kernel 4.13.0-38 en étant sous la 36, et ca à marcher (en partie au moins)
Après cette opération, 0 o d'espace disque supplémentaires seront utilisés.
(Lecture de la base de données... 382169 fichiers et répertoires déjà installés.)
Préparation du dépaquetage de .../linux-headers-4.13.0-38_4.13.0-38.43_all.deb ...
Dépaquetage de linux-headers-4.13.0-38 (4.13.0-38.43) sur (4.13.0-38.43) ...
Préparation du dépaquetage de .../linux-headers-4.13.0-38-generic_4.13.0-38.43_amd64.deb ...
Dépaquetage de linux-headers-4.13.0-38-generic (4.13.0-38.43) sur (4.13.0-38.43) ...
Préparation du dépaquetage de .../linux-headers-4.13.0-38-lowlatency_4.13.0-38.43_amd64.deb ...
Dépaquetage de linux-headers-4.13.0-38-lowlatency (4.13.0-38.43) sur (4.13.0-38.43) ...
Paramétrage de linux-headers-4.13.0-38 (4.13.0-38.43) ...
Paramétrage de linux-headers-4.13.0-38-generic (4.13.0-38.43) ...
Examining /etc/kernel/header_postinst.d.
run-parts: executing /etc/kernel/header_postinst.d/dkms 4.13.0-38-generic /boot/vmlinuz-4.13.0-38-generic
Paramétrage de linux-headers-4.13.0-38-lowlatency (4.13.0-38.43) ...
Examining /etc/kernel/header_postinst.d.
run-parts: executing /etc/kernel/header_postinst.d/dkms 4.13.0-38-lowlatency /boot/vmlinuz-4.13.0-38-lowlatency
