Implémentation parfaite de l'instance Pas