Lannexe contient une description de la théorie des ensembles. Lapplication comprend une recherche pratique.