Re: info ne trouve pas le noeud top

[jm]

Quelle tête a ton fichier /usr/share/info/dir ? C'est celui-ci qui est
utilisé par info. Chez moi, il commence par :

[...]

Effectivement, le problème venait de là. Merci.