Recensement des modèles de logique :