Person. Thomas Ehrhard Université Paris Cité · irif.fr/~ehrhard · 0000-0001-5231-5504 PhD advisorPierre-Louis Curien PhD studentsGuillaume Munch-Maccagnoni PhDUniversité Paris Diderot