Title: Logique des classes, logique des collections