Collaborations between Alexis Tomassian and Alain Choquet