Le 08-10-2017, à 14:25:22 +0200, sTriX a écrit :
le dimanche 08 octobre 2017 à 10:16 (+0200), Olivier Bitsch a écrit:Hello, Est-ce que tu as bien installé Debian en 64bit ? OlivierEffectivement, l'installation est faite avec debian-live-9.1.0-i386-lxde.iso, un système 32 bits.
Est-tu sûr d'avoir un système 32 bits ? Que donne cat /proc/cpuinfo