Recherche d'implicant restreint -> test'n'debug