Logique des théories égalitaires sur types de graphes — Georges Blanc