Refaire le truc avec les implicants p-restreints