certificat.c : Nouvelle version de la fonction generer_ensemble_certificats()
mode.c : Nouvelle version de mode_exploration_exhaustif()
certificat.c : Ajout de sécurité dans la vérification des certificats
certificat.c : Nouvelle version
mode.h : Ajout du prototype de la fonction permettant de réinitialiser le tableau de présence d'objets
Makefile : Ajout d'un linker pour math.h