Ligue des champions : quand a lieu le tirage au sort de la phase régulière