Ángel Ruiz de Erenchun Oficialdegui (Pamplona, Navarra,