Carlson-Simpson's lemma and applications in reverse mathematics. - Paul-Elliot Anglès d'Auriac; Lu Liu; Bastien Mignoty; Ludovic Patey (Ann. Pure Appl. Log., 2023)