Tirage de la Ligue des champions : l'OM épargné, le PSG avec la Juventus et Benfica, le tirage au sort