construction du Dfg finie mais pas testée