Fix example with changes in TP2.pdf and extract some constance