porter machine: ssh connection: SSH pub keys

[Jerome BENOIT <sphericaltriangle@rezozer.net>]

Hello Forum:

I recently got the right to access to some Debian porter machines.
Now I want to connect to them via SSH. I guess that some SSH key
must be deposited somewhere: any idea ?

Thanks in advance,
Jerome