Jean Ville's contribution to the integrability debate: the mystery of a lost theorem