Selon Charles Plessy <charles@gizmotronics.dyndns.org>: [...] Pas ma bécane sous les yeux... > Il y a des vielles archives debian relevant le problème, mais aucune > ne m'apporte de solution (il y en a même une qui dit que la solution > se trouve dans README.Debian, sans donner le nom du répertoire...) C'est sous-entendu : /usr/share/doc/sgmtools/README.Debian PK