Index: /anr/task-4.tex
===================================================================
--- /anr/task-4.tex	(revision 75)
+++ /anr/task-4.tex	(revision 76)
@@ -51,6 +51,5 @@
     \end{livrable}
 \item The goal of this \ST is to improve the UGH and GAUT HLS tools.
-    UGH and GAUT experimentations have shown respectively 2 and \mustbecompleted{FIXME:2}
-    usefull enhancements
+    UGH and GAUT experimentations have shown respectively usefull enhancements.
     \begin{livrable}
     \itemL{18}{24}{x}{\Stima}{UGH enhancement 1}{0:9:0}
@@ -69,7 +68,11 @@
         \mustbecompleted{FIXME:USB utilise une macro svp: \ST1-1}
         \mustbecompleted{FIXME:UBS: quel delivrable ??}.
-%   FIXME:USB redondant avec le delivrable "GAUT integration" ou alors
-%   c'est en enhancement et il faut le decrire.
-%    \item{VF}{30}{36}{x}{\Subs}{GAUT enhancement 3} Final release of the GAUT software
+    \itemV{6}{18}{d}{\Subs}{Design Space Exploration}{0:0:0}
+        \mustbecompleted{FIXME:UBS  GAUT enhancement 3 serait peut-etre meilleur}
+        Specification of a Design Space Exploration framework for the HAS Back-end: 
+        The high level specification tools, such as GAUT, have to be able to use synthesis feed-back
+        informations in order to explore the design space and to generate optimized architectures.
+    \itemL{18}{30}{x}{\Subs}{Design Space Exploration}{0:0:0}
+        Release of the GAUT software that supports the features defined in \ST ????.
     \end{livrable}
 \item In FPGA-SoC, the frequency is given by the processors and the BUS. The coprocessors