colis: fifth meeting. Two conflict-freeness. First automata.
Before migration towards Inria repository.