Contents
User's documentation
Developer's documentation
Annexe
Formalisms from Allen at al. 1989 paper