Rémy Cerda: Taylor Approximation and Infinitary λ-Calculi. (Développement de Taylor et λ-calcul infinitaire). Aix-Marseille University, France 2024