1er boot après restauration Timeshift

[serged]

Suite à une mise à jour catastrophique vers Tricia[¹], pour la première fois j'ai du utiliser la restauration TimeShift !
Au redémarrage après restauration, le menu grub a affiché "Ubuntu" plutôt que "LinuxMint 19.2". Bug connu ?

Le reste s'est bien passé, et au redémarrage suivant, il a bien affiché "LinuxMint 19.2".

[¹] -Là n'est pas la question.