alias sshdev='ssh -o ServerAliveInterval=1000 marc@vps676246.ovh.net'