Manuel conçu selon une méthodologie efficace : un modèle est construit à partir des faits puis utilisé pour aboutir à des résultats théoriques. La partie purement formelle et calculatoire est réduite au minimum indispensable.