Collaborations between Pierre Roustang and Jean Halain