Collaborations between Laurent Gamelon and Pierre Bost