+Host note bde2-virt bde note.crans.ort bde2-virt.crans.org bde.crans.org
+ HostName bde2-virt.crans.org
+ User vincent
+ ForwardAgent yes
+
+Host note bde3-virt bde note.crans.ort bde3-virt.crans.org bde.crans.org
+ HostName bde3-virt.crans.org
+ User vincent
+ ForwardAgent yes
+