Creating a first exo-skeleton of the DBC.

It is based on the ContratException model we've been taught in class.
It's basically just a transcription since almost everything is
similar to the original. The purpose is to translate it and to
better see how it works under the hood.