suite LSJn.tex trois premières parties
ajout preuves_categories
LSJn.tex trois premières sections envoyées ; suite catégories
suite catégories
suite categories : categorie monoïdale
suite catégories : tout début symétrie