Loading paper
Homotopy branching space and weak dihomotopy | Tomesphere