notes-ing2/surete/tp1/Exercice2.pdf