techniquement j'ai 5 go de libre sur mon Windows 10 ça suffit pour installer linux ?