Louise Dubois de Prisque: Prétraitement compositionnel en Coq. (Compositional preprocessing in Coq). University of Paris-Saclay, France 2024