mean-field game with a major player