Le 17 septembre 2015, Pascal Hambourg a écrit : > En fait je parlais de la date du fichier grubx64.efi pour voir à quel > moment il a été créé par grub-install pour la dernière fois, pas du > répertoire debian.
C'était la même date. > Et concernant /etc/fstab, le montage de la partition système EFI sur > /boot/efi y figure ou pas ? Sinon, il faudra l'ajouter ou penser à > monter la partition avant chaque réinstallation du chargeur. OK, merci. -- Alain Rpnpif