Opérateur de Crama

Mise à jour…