TD - Introduction en logique du temps ramifié (CTL) - LACL