Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet: Martin-Löf à la Coq. CPP 2024: 230-245