Tri des prémisses des règles dans DL.pm pour mettre les négatifs à la fin (car n'offrant pas d'instanciation)