Computing the complexity of the relation of isometry between separable   Banach spaces
  We compute here the Borel complexity of the relation of isometry between separable Banach spaces, using results of Gao, Kechris and Weaver. 
Julien Melleray