https://123dok.net/document/wye8k94y-resolution-reseaux-contraintes-algebriques-qualitatives-approche-conception-ingenierie.html