Collaborations between Gilbert Lévy and Alain Choquet