Utilisateurs de Linux Mint Debian: l'update pack 4 pointe le bout de son nez dans les dépôts "incoming" ! Encore un peu de patience :)