Anglais ⇄ Allemand Anglais Langues chinoises Russe Suédois +

formal method contraintes
math.	формальный метод
Anglais glossaire
Formal Methods
abrév.	FM (Alex Lilo)

Formal Method : 6 phrases, 4 sujets

Élevage	1
Intelligence artificielle	1
Makarov	2
Programmation	2