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