REMINDER : allo-psmn is a connection server; it allows you to access and transfer your files, and that's it. To work, you have to connect, from allo-psmn, to one of the compilation servers
A lot of the software already installed isn't listed on the following pages.
First search in /usr/bin/ (standard),
et /applis/PSMN/generic/ ou /applis/PSMN/debian9/ (new)