cours1 Prolog & Contraintes