Re: Installations Linux 32 versus 64 bits ?