Collaborations between Henri Serre and Éric Demarsan