Chapitre 4
Application specification
The entry point of the application is the
file
rule.