Doh! I've just realized the configuration file in which I changed the port was /etc/ssh/ssh_config (client) and not /etc/ssh/sshd_config (server)!!!
Thanks a lot anyway for your help!