Étiquette  logique des prédicats cours