notes-ing2/surete/tp_ltl/sujet.pdf