1: \begin{abstract}  We show that any nonabelian free group $F$ of finite rank is homogeneous; that is for any  tuples $\bar a$, $\bar b \in F^n$, having the same complete $n$-type,  there exists an automorphism of $F$  which sends $\bar a$ to $\bar b$. 

2: 

3: We further study existential types and we show that for any  tuples $\bar a, \bar b \in F^n$,  if $\bar a$ and $\bar b$ have the same  existential $n$-type, then either $\bar a$ has  the same existential type as  a power of a primitive element, or  there exists an existentially closed subgroup $E(\bar a)$ (resp. $E(\bar b)$) of $F$ containing $\bar a$ (resp. $\bar b$) and an isomorphism    $\sigma : E(\bar a)  \rightarrow E(\bar b)$   with $\sigma(\bar a)=\bar b$. 

4: 

5: 

6: We will deal with  non-free two-generated torsion-free hyperbolic groups and we show that they are $\exists$-homogeneous and prime.  This gives,   in particular,  concrete examples of finitely generated groups which are prime and not QFA. 

7: \end{abstract}

8: