https://123dok.net/document/y961w1gl-décidabilité-contraintes-premier-ordre-contraintes-duales.html