Ligue 1 : Trois options pour établir le classement en cas de non-reprise