+5 definitions 22.pdf finished
+defintions and split in several tex files