Modifs avant pull
Merge branch 'master' of https://github.com/BarKetPlace/infomips

Conflicts:
	Makefile
	include/dico.h
	src/fct/add.c
Merge branch 'master' of https://github.com/BarKetPlace/infomips

Conflicts:
	include/dico.h
	src/fct/addi.c
Modifs fct (imm, main)