main.c : Modification de la fonction usage()
Merge branch 'master' of https://github.com/WebTogz/ACT_TP4
Makefile : Ajout d'une option permettant que tout warning devient une erreur (-Werror)
main.c : Suppression du code lié à la génération du/des certificat(s)
main.c : Correction d'un bug (EXIT_STATUS -> EXIT_FAILURE)
mode.c : Ajout de documentation (TODO) dans la fonction mode_verif()
mode.c : Modification de la fonction mode_non_deterministe()
mode.c : Modification de la fonction mode_exploration_exhaustif()
Ajout des fichiers liés aux certificats (certificat.c / certificat.h)
main.c / mode.c : Ajout des inclusions quant à certificat.{c|h}