rsa 4096 or ed25519 for ssh keys ?

[Joel Carnat]

Hi,

If both server and client are ed25519 compatible.
When generating (user) SSH keys, is it recommended to use ed25519 rather 
than rsa 4096bits?

Thank you.