Joaquín Miguel Larrea León, b.