[G5K] It is not possible to give an arbitrary SSH public key file to the provider

In the G5K provider, while the configuration has a key 'key' (see here), the API does not take care about it.

As a consequence the default key path $HOME/.ssh/id_rsa.pub is always used.