Exemple 5 : synthèse formelle