def fichier_dimacs (l):
    clause = 0
    variable = []
    c = l.tete
    liste = []
    while c != None:
        cel = c.valeur
        while cel != None:
            liste.append(cel.valeur)
            if not((-cel.valeur) in variable) and not(cel.valeur in variable):
                variable.append(cel.valeur)
            cel = cel.suivant
        liste.append(0)
        clause += 1
        c = c.suivant
    f = open('fichier_dimacs.txt', 'w')
    f.write('p cnf ' + str(len(variable)) + ' ' + str(clause) + '\n')
    for i in liste:
        if i == 0:
            f.write(str(i) + '\n')
        else:
            f.write(str(i) + ' ')
    f.close()