The formation and detection of extrasolar habitable worlds J.I. Lunine J. Phys. IV France, 121 (2004) 259-268 DOI: 10.1051/jp4:2004121018