ajout du devoir 2 Langage Formel