Réparer GRUB quand votre ordi ne boot plus. Le genre de truc qui peut vous sauver la journée :)
Via http://sebsauvage.net/links/?YrXgvA