Récursion, ensembles, relations, logique

Le poly et ses sources TEX (version 9 oct 2012).

Les diaporamas:

courtesy of webmatter.de