In reply to WNo:
I've walked the first part of your option 1 before leaving it at the obvious path to head to the Refugio de Restanca while walking a mix of the GR11 & the HRP. It was 20+ years ago and I mostly remember a wild night camped somewhere near the lakes - strong winds and I woke up to a few cm of fresh snow (was October). I think it was an easy track rather than a path but (maybe) fairly steep in places, I would definitely be pushing rather than cycling from what I remember.