Un portable Compaq à moins de 9 000 F