C'est bon, je renvoie le message:
Ah, il reste encore deux trois trucs à réparer.
On va supprimer les noyaux cassés et réinstaller le dernier, et reconfigurer grub ensuite.
Donc déjà
sudo apt remove linux-image-4.15.0-117-generic linux-image-5.4.0-51-generic linux-image-5.4.0-52-generic linux-image-5.4.0-54-generic linux-image-5.4.0-56-generic
puis ensuite
sudo apt install --reinstall linux-image-5.4.0-58-generic
puis tu peux redonner
dpkg -l | grep -v ^ii | grep -v ^rc
Merci moko pour ta vigilance, on a vite fait de faire une bêtise en supprimant le mauvais noyau
