Host ssh-roc.inria.fr
HostName ssh-roc.inria.fr
ProxyCommand none

Host *.inria.fr
ProxyCommand ssh -q ssh-roc.inria.fr /usr/bin/nc -w 1 %h 22
#
# Defaults
Protocol 2,1
Host *
User hocking
ForwardAgent yes
ForwardX11 yes