Bon, y'avait pas de page man pour cpuspeed. Sur le net, toutefois, j'ai trouvé mon bonheur à l'adresse
http://www.netadmintools.com/art94.html. J'ai donc désactivé le service cpuspeed, par un 'chkconfig cpuspeed off', puis j'ai rebooté la machine. Désormais, mon cpu est reconnu comme un 2210,776 MHz. Je préfère... pour l'instant. Car ma machine est constamment allumée. Je verrai donc à l'usage s'il était opportun de désactiver cpuspeed. Pierre
Au passage, comment rajoute-t-on dans l'en-tête des messages la ligne (résolu). Je n'arrive pas en effet à éditer le message initial que j'ai passé sur le forum. Il n'y a pas, comme dans la réponse que l'on fournit, la boîte de dialogue "éditer" en bas de la fenêtre.