Martínez de Alegría Sáenz de Castillo, Leyre.