L’Inter Milan s’empare de la tête de la Ligue des champions en battant Leipzig (1-0)