C'est presque exactement la même chose que ce que je sélectionne pour "GRUB install devices" après une mise à jour? - ou peut-être que ce n'est pas le cas, ce qui pose la question, car j'utilise Ubuntu sur une machine Virtualbox via Vagrant. Je ne pouvais pas les paquets de mise à jour, donc je...