https://123dok.net/document/yd7lj3xe-m-inf-bia-novembre-tp-prolog-programmation-logique.html