J'ai trouvé la solution: un petit utilitaire disponible ici:
http://www.bellamyjc.net/fr/windows2000.html#veille
qui permet de voir des informations sur la prise en charge ACPI de Windows, et m'indiquant que le driver de ma carte radio bloquait la mise en veille. J'ai don enlevé cette carte radio (de toute façon, elle ne marchait pas correctement), du coup la mise en veille est à nouveau disponible.
---------------
We don't need no education... [air connu]