Construction de patrons et certification de la complétude des cartes de patrons à l'aide de méta-patrons