Prépublications

Pseudo T-closed fields,
avec Samaria Montenegro. arXiv:2304.10433.
Enriching a predicate and tame expansions of the integers,
avec Gabriel Conant, Christian d'Elbée, Yatir Halevi et Léo Jimenez. arXiv:2203.07226.
Un principe d'Ax-Kochen-Ershov imaginaire,
avec Martin Hils. arXiv:2109.12189.
Hensel minimality II : Mixed characteristic and a diophantine application,
avec Raf Cluckers, Immi Halupczok et Floris Vermeulen. arXiv:2104.09475.

Articles

Hensel minimality I,
avec Raf Cluckers et Immi Halupczok. Forum Math. Pi 10, Paper No. e11. 2022. Doi:10.1017/fmp.2022.6. arXiv:1909.13792.
A short note on groups in separably closed valued fields. Ann. Pure Appl. Logic 172, no. 4, Paper No. 102943. 2021.
Doi:10.1016/j.apal.2021.102943. arXiv:1612.02165.
Imaginaries, Invariant types and pseudo-p-adically closed fields,
avec Samaria Montenegro. Trans. Amer. Math. Soc. 374, no. 2, 803–828. 2021. Doi:10.1090/tran/8052. arXiv:1802.00256.
Valued fields, Metastable groups,
avec Ehud Hrushovski. Selecta Math. (N.S.), 25(3), 2019. Doi:10.1007/s00029-019-0491-x. arXiv:1709.08801.
Imaginaries and invariant types in existentially closed valued differential fields.
J. Reine Angew. Math. (Crelle), 750, pp 157–196, 2019. Doi:10.1515/crelle-2016-0036. arXiv:1508.07935.
Dans cette version antérieure, il y a quelques resultats qui n'apparaissent pas dans la verion publiée.
Definable equivalence relations and zeta functions of groups,
avec Ehud Hrushovski and Ben Martin, avec an appendice de Raf Cluckers. J. Eur. Math. Soc. (JEMS), 20(10), pp 2467–2537, 2018. Doi:10.4171/JEMS/817. arXiv:math/0701011.
Imaginaries in separably closed valued fields,
avec Martin Hils and Moshe Kamensky. Proc. Lond. Math. Soc. (3), 116(6), pp 1457-1488, 2018. Doi:10.1112/plms.12116. arXiv:1612.02142.
Games and strategies as event structures,
avec Simon Castellan, Pierre Clairambault and Glynn Winskel. Log. Methods Comput. Sci. 13(3), 2017. Doi:10.23638/LMCS-13(3:35)2017. arXiv:1604.04390.
Definable and invariant types in enrichments of NIP theories,
avec Pierre Simon. J. Symb. Log. 82(1), pp 317–324, 2017. Doi:10.1017/jsl.2016.35. arXiv:1507.06863.
Some properties of analytic difference valued fields.
J. Inst. Math. Jussieu 16(3), pp 447–499, 2017. Doi:10.1017/S1474748015000183. arXiv:1401.1765.
Concurrent Strategies,
avec Glynn Winskel. Logic in Computer Science (LICS 2011), pp 409-418, 2011. Doi:10.1109/LICS.2011.13.
Validating Register Allocation and Spilling,
avec Xavier Leroy. Compiler Construction (CC 2010), Lecture Notes in Comput. Sci., 6011, pp 224-243, 2010. Doi:10.1007/978-3-642-11970-5_13.

Présentations

Pseudo T-closed fields, approximations and NTP2 Géométrie et théorie des modèles, Paris, Mai 2021: slides.
La théorie géométrique des modèles Comment lier structure et combinatoire , Raconte-moi, DMA, ENS, Février 2021: slides.
A model theoretic theoretic account of the tilting equivalence, Séminaire Lyon-Paris, Avril 2020: slides.
Asymptotic imaginaries in (Fp((t))^alg, v, φ_p), San José, Costa-Rica, Juin 2020: slides.
A model theoretic theoretic account of the tilting equivalence, Séminaire Lyon-Paris, Avril 2020: slides.
Imaginaires dans les corps Henséliens, Séminaire de logique, Lyon, Novembre 2018 : slides.
Metastability, Neostability Theory, Oaxaca, Octobre 2018 : video.
Imaginaires dans les corps henséliens de charactéristique zéro, et applications aux questions de rationalités de certaines fonctions zêta locales, Second Congrès de la SMF, Lille, Juin 2018 : slides.
Towards an imaginary Ax-Kochen-Ershov principle, Model theory and valued fields, IHP, Paris, Mars 2018 : slides, video.
Prolongations in valued fields, Dart VIII, Linz, Septembre 2017 : slides, video.
Imaginaries in pseudo-p-adically closed fields , Model Theory, Bedlewo, Juillet 2017 : slides, video.
Imaginaries in Valued Differential Fields I : Finding Prolongations, Kolchin Seminar, New York, Octobre 2016 : video 1, video 2.
Imaginaries in valued fields with operators (short version), ASL Annual NA Meeting, Stoors, Mai 2016 : slides.
Imaginaries in valued fields with operators, UCLA Logic Colloquium, Avril 2016 : slides
Transferring Imaginaries, UC Berkeley Logic Colloquium, Novembre 2015 : slides.
Imaginaries and definable types in valued differential fields, Logic Colloquium, Helsinki, Août 2015 : slides.
Élimination dans les corps valués, PhD defense, Orsay, Decembre 2014 : slides.
Definable and invariant types in enrichments of NIP theories, Neostability Theory, Oaxaca, Juillet 2014 : video.
Transferring imaginaries, How to eliminate imaginaries in p-adic fields, Model Theory in Geometry and Arithmetic, MSRI, Berkeley, Mai 2014 : slides, video.
Analytic difference fields, Elimination of field quantifiers and Ax-Kochen-Eršov principle, British Postgraduate Model Theory, Leeds, Janvier 2014 : slides.
Transferring imaginaries, How to eliminate imaginaries in p-adic fields, British Postgraduate Model Theory, Manchester, Janvier 2013 : slides.
Transferring imaginaries, How to eliminate imaginaries in p-adic fields, Model theory seminar, Berkeley, Avril 2013 : slides.
Transfert d’imaginaires, Comment éliminer les imaginaires dans les corps p-adiques, Séminaire de logique, Lyon, Septembre 2013 : slides.

Autres textes

Ma thèse écrite sous la direction d'Élisabeth Bouscaren et Tom Scanlon.
La traduction anglaise de mon introduction de thèse.
Un texte sur l'élimination des imaginaires dans les corps p-adics.
Mon ménoire de M2, écrit sous la direction d'Élisabeth Bouscaren.
Une introduction à mon domaine de recherche que j'ai écrit à l'Ens.
Un mémoire sur la domination stable, la stabilité générique et l'orthogonalité dans ACVF que j'ai écrit lors d'un cours de M2.
Un mémoire que j'ai écrit avec Gabriel Scherer à l'Ens. Il traite de l'indépendance du théorème de Goodstein dans l'arithmetique de Peano. On peut aussi y trouver une preuve du théorème de Gentzen.