Fix a typo.
Polish and expression ::= decl. | pred. | qualif.
Re-order rules in the grammar.
Decompose P and add labels on dotted edges.
Format code. #mania
Fix the introduction (with Alain).
Simplify P_\m{D}.
Edge labelled by P_\m{D} must be dotted.
Apply feedbacks from Fabrice.