Séquence 5 ER : Logique combinatoire (18h)