2h de DL/installation pour me rendre compte que j'ai installé ma distro en 32 bits ><