  N. Hitchin recently introduced the notion of folded hyperK\"ahler metrics, in
relation with SL(\infty,R) Higgs bundles. We provide a construction of such
metrics, and prove the local existence of the Hitchin component for
SL(\infty,R).
