+Host oie.adm oie.adm.crans.org
+ HostName oie.adm.crans.org
+ User legallic
+ ForwardAgent yes
+
+Host omnomnom omnomnom.crans.org
+ HostName omnomnom.crans.org
+ User legallic
+ ForwardAgent yes
+
+Host omnomnom.adm omnomnom.adm.crans.org
+ HostName omnomnom.adm.crans.org
+ User legallic
+ ForwardAgent yes
+
+Host owl imap pop owl.crans.org pop.crans.org imap.crans.org