TP1 constraint programming: first incomplete version of report added.
'Squeleton' of the TP2 of constraint programming.
DS2012 of Prolog.