“…In the following, we will briefly describe how the construction of the orbifold structures on C k (Σ, W ) and W k,p (Σ, W ) goes in [Che06a]. More precisely, we will follow [CDW19] to describe C k (Σ, W ), W k,p (Σ, W ) as orbits spaces of groupoids, and then we use the local constructions in [Che06a] in order to show that the groupoids are proper étale Lie groupoids modeled over Banach manifolds. The following results are only stated and proved for C k maps, as the cases for W k,p , C ∞ are similar.…”