Specification 0.2 :
===================
* Invariant of prototype.
* Require / Ensure on data slot.
* Parameter type in argument function.
* Section with genericity type.

Specification 0.3 :
===================
* Concurence Object Prototype (COP model).
* Auto-make with list.
* Vector multi-size for arguments.
