Working group - Informal working group on perfectoids - Alessandro BERARDUCCI: Surreal models of the reals with exponentiation. - Amphi Darboux