Partie 1 fournit des procédures de calcul vérification de limites et colimites d'ontologies, modé...