https://123dok.net/document/nq7972oy-reformulation-de-problemes-de-satisfaction-de-contraintes-basee-sur-des-metamodeles.html