Collaborations between Roger Ledru and Raimu