Ayuda identificación pueblo de Gredos (Avila) ✈️ Foro Castilla y León ✈️ p79 ✈️

Hola amigos viajeros, aprovecho el foro para ver si alguien me puede indicar qué pueblo es el que aparece en esta foto:

www.bancoimagenes.com/ ...=cd648f104

Es que hace un año estuve por allí, hice unas fotos, las colgué en internet pero ahora no encuentro los apuntes y no sé de qué pueblo se trata. Para más señas tiene un castillo bien conservado y recuerdo que estaba en el entorno de Arenas de San Pedro pero no sé si es este.

Alguien me puede echar un cable. Gracias.