Ce document est le fruit d'un long travail approuvé par le jury de ...
Dans cette section, nous présentons comment nous avons spécifié puis implémenté la ... Dans cette section, nous présentons un exemple d'implémentation des règles ... 
Autres Cours:
