for GR20 ?? AFAIK you can rent tents at every checkpoint for like 5 euros and sleep close to the small "mountain house" there. What more do you want ? A swimming-pool ?