Correction de bugs + Ajout de fonctions pour la création de prédicats catégoriels