graph arbre { node_1[label="("] ; node_2[label="1"] ; node_3[label="nb"] ; node_3 -- node_2; node_4[label="+"] ; node_5[label="2"] ; node_6[label="nb"] ; node_6 -- node_5; node_7[label=")"] ; node_8[label="exp"] ; node_8 -- node_3 [ label = "1" ]; node_8 -- node_4 ; node_8 -- node_6 [ label = "2" ]; {rank=same; node_3 node_4 } node_3 -- node_4 [color="white"] ; {rank=same; node_4 node_6 } node_4 -- node_6 [color="white"] ; node_9[label="exp"] ; node_9 -- node_1 node_9 -- node_8 [ label = "2" ]; node_9 -- node_7 ; {rank=same; node_1 node_8 } node_1 -- node_8 [color="white"] ; {rank=same; node_8 node_7 } node_8 -- node_7 [color="white"] ; node_10[label="-"] ; node_11[label="3"] ; node_12[label="nb"] ; node_12 -- node_11; node_13[label="*"] ; node_14[label="1"] ; node_15[label="nb"] ; node_15 -- node_14; node_16[label="exp"] ; node_16 -- node_12 [ label = "3" ]; node_16 -- node_13; node_16 -- node_15 [ label = "1" ]; {rank=same; node_12 node_13 } node_12 -- node_13 [color="white"] ; {rank=same; node_13 node_15 } node_13 -- node_15 [color="white"] ; node_17[label="?"] ; node_18[label="exp"] ; node_18 -- node_9 [ label = "3" ]; node_18 -- node_10 ; node_18 -- node_16 [ label = "3" ]; {rank=same; node_9 node_10 } node_9 -- node_10 [color="white"] ; {rank=same; node_10 node_16 } node_10 -- node_16 [color="white"] ; node_19[label="5"] ; node_20[label="nb"] ; node_20 -- node_19; node_21[label=":"] ; node_22[label="7"] ; node_23[label="nb"] ; node_23 -- node_22; node_24[label="*"] ; node_25[label="7"] ; node_26[label="nb"] ; node_26 -- node_25; node_27[label="exp"] ; node_27 -- node_23 [ label = "7" ]; node_27 -- node_24; node_27 -- node_26 [ label = "7" ]; {rank=same; node_23 node_24 } node_23 -- node_24 [color="white"] ; {rank=same; node_24 node_26 } node_24 -- node_26 [color="white"] ; node_28[label="exp"] ; node_28 -- node_18 node_28 -- node_17 node_28 -- node_20 [ label = "5" ]; node_28 -- node_21 node_28 -- node_27 ; {rank=same; node_18 node_17 } node_18 -- node_17 [color="white"] ; {rank=same; node_17 node_20 } node_17 -- node_20 [color="white"] ; {rank=same; node_20 node_21 } node_20 -- node_21 [color="white"] ; {rank=same; node_21 node_27 } node_21 -- node_27 [color="white"] ;}