Implementation de la recherche d'implicant restreint
Prochaine phase : test'n'debug