diff --git "a/l\303\251gende.txt" "b/l\303\251gende.txt" new file mode 100644 index 0000000000000000000000000000000000000000..0ee852590cb1e18bae36c40376d32db5bc7a4eeb --- /dev/null +++ "b/l\303\251gende.txt" @@ -0,0 +1,12 @@ +A = ({}, ⊥) +A2 = ({}, bouc) +B1 = ({chou}, bouc) +B2 = ({chou}, loup) +C = ({bouc}, ⊥) +C1 = ({bouc}, chou) +C2 = ({bouc}, loup) +D1 = ({loup}, chou) +D2 = ({loup}, bouc) +F = ({chou, loup}, ⊥) +F1 = ({chou, loup}, bouc) +H = ({chou, bouc, loup}, ⊥)