Computing the complexity of the relation of isometry between separable Banach spaces - Julien Melleray (2005)