Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri