Ceci est une ancienne révision du document !
allo-psmn, sur l'un des serveurs de compilation
Un grand nombre des logiciels déjà installés ne sont pas listés dans les pages suivantes.
Cherchez d'abord dans /usr/bin/ (standard),
et /applis/PSMN/generic/ ou /applis/PSMN/debian9/ (new)