Ah, en changeant dans le BIOS la quantité de mémoire réservée à la puce graphique (256M au lieu du 512M par défaut), ma mémoire "matériel réservé" passe à 1283 Mo. Et donc la mémoire totale dans le gestionnaire passe à 1789.
Mon windows m'indique maintenant : "mémoire installée (RAM) : 3,00 Go (1,75 Go utilisable)"
J'en déduis donc que :
1. De mes 4 Go de départ, 1 Go disparait sans raison.
2. Des 3 Go restants, par défaut 1,5 Go (dont 512 Mo pour la puce graphique) sont réservés au matériel.
Pour le point 1, j'ai lu qu'une option du BIOS, "Memory remap", résolvait le problème (en décalant la mémoire réservée au matériel au delà des 3 Go, contrairement à la configuration par défaut qui limite la mémoire totale à 3 Go). Malheureusement, ma carte graphique n'offre pas cette option
Pour le point 2, je me demande bien quel matériel, hors puce graphique, a besoin de se réserver 1 Go...? Et y a-t-il une façon de modifier cette valeur ?
Si quelqu'un a une idée géniale, je suis preneur !