Problème avec le man sous le terminal

C'est parce que tu dois avoir des pages de man non installées. Comme presque tout sous linux, il suffit de passer par ton gestionnaire de paquet pour les installer. Par exemple voici les paquets que j'ai installé sous debian :

(mando@aldur) (~) $ dpkg -l | grep "ii  man"
ii  man-db                               2.5.6-3                      on-line manual pager
ii  manpages                             3.22-1                       Manual pages about using a GNU/Linux system
ii  manpages-fr                          3.22.1-3                     French version of the manual pages about usi
ii  manpages-fr-dev                      3.22.1-3                     French version of the development manual pag

A priori ce serait plutôt dans manpages-fr-dev que ça se tient. Pour l'installer si tu utilises une debian ou dérivé (ubuntu...), tape dans une console :

sudo aptitude update
sudo aptitude safe-upgrade
sudo aptitude install man-db manpages manpages-fr manpages-fr-dev

Si tu utilises une distribution basée sur autre chose que debian, la démarche reste la même (il faut installer quelques paquets), mais tu devrais utiliser d'autres outils qu'aptitude ou dpkg qui sont spécifiques aux distributions basées sur debian. Il se peut également que les paquets soient nommés légèrement différemment (par exemple quelque chose comme manpages-fr-devel au lieu de manpages-fr-dev).

Bonne chance