LQG mean field games with a major agent: Nash certainty equivalence versus probabilistic approach. (December 2022)