Rejeu basé sur des règles de transformation de graphes. (Reevaluation based on graph transformation rules). - Anaïs Cardot (2019)