Re:Installations Linux 32 versus 64 bits ?