Un Français pour arbitrer le choc entre le Bayern Munich et le Real Madrid en Ligue des champions