UserKnownHostsFile ./ssh_known_hosts

Host concombre
	HostName 10.42.1.31

Host courgette
	HostName 10.42.1.32

Host celeri
	HostName 10.42.1.33