Mardi 31 mars

c.q.f.d.. Exercice 4 : Relation inverse, fonction injective et programmation sur relations (15 pt). Rappel de définitions 2.