On Fri, Jul 25, 2003 at 23:52:16 +0200, Denis Barbier wrote: > Ben non, le codage par défaut des pages man est l'iso-8859-1. Et comment avoir des pages dans un autre encodage? -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> - 100% validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Mathématiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA