Étiquette  logique séquentielle et combinatoire