Quasi Causal Delivery based on a QVC lattice
avancee sur Lseqreplica, +isleq LQVC, test isLeq