def _parse_ligne(ligne):
    """ Parse une ligne contenant des entiers séparés par un espace, ou une
    ligne vide, puis retourne une liste d'entiers, ou une liste vide.
    Exemples :
    >>> _parse_ligne("1 2 3
")
    [1, 2, 3]
    >>> _parse_ligne("
")
    []
    """
    return list(map(int, ligne.split()))
