relecture preuves, ajout d'un Makefile