Si vous avez installé Ubuntu Linux avec une partition /boot séparée, vous avez peut-être déjà rencontré un problème d’espace insuffisant…