le dimanche 08 octobre 2017 à 10:16 (+0200), Olivier Bitsch a écrit:
> Hello,
>
> Est-ce que tu as bien installé Debian en 64bit ?
>
> Olivier
>
Effectivement, l'installation est faite avec
debian-live-9.1.0-i386-lxde.iso, un système 32 bits.
Cependant l'installation contient le paquet GNU/Linux-headers-686-pae
qui permet l'adressage de la mémoire RAM jusqu'à 64 Go.
Même si le système 32 bits ne bénéficiait pas de PAE, il serait en
capacité d'utiliser jusqu'à 4 Go de RAM ; dans mon cas ça plafonne à
moins de 2 Go. Mais peut être n'ai je pas tout compris.
Merci pour cette piste.
--
Gérard
