Collaborations between Alain Choquet and Hervé Caradec