Ah, l'update pack 5 de Linux Mint Debian est sorti :) Mais je crains que l'upgrade se fasse dans la douleur.. #custom_packages