City et l'Inter prennent une option pour le dernier carré de la Ligue des champions