insertion basique lseq ok + pbcast à revoir