A garder sous la main, des distros Linux qui permettent de réparer des installations GRUB, avec en plus des petits outils Windows.