Collaborations between Hervé Caradec and Alain Choquet