Jaca's citadel is a remarkable example of Renaissance military architecture: a five-pointed star-shaped fortress, built on the orders of Philip II from 1592, with each of the five bastions designed to provide covering fire for adjacent walls. The geometry is beautiful in an abstract way, and the grassy moats, which are now grazed by deer, give the whole thing an unexpectedly pastoral quality.
The citadel is still technically a military installation, but guided tours run regularly and take you around the ramparts and through the interior spaces. Inside, a small museum of military miniatures houses a collection of 32,000 model soldiers arranged in 23 historical dioramas — a specialised attraction with a dedicated following. The exterior moat walk, lined with ancient trees and accessible for free, is excellent whatever time of year.