certificat.c : Nouvelle version quant à la vérification de certificats (option exhaustif)
certificat.h : Modification de la définition de la fonction generer_ensemble_certificats()
mode.c : Modification du mode exhaustif