Autre solution, encore plus efficace : déverrouiller le boot USB du seaBIOS chromebook, et installer GNU/Linux via clé USB selon la méthode standard. Comme ça, plus de chromeOS !