\begin{figure}[H]
  \begin{center}
    \unitlength=4pt
    \begin{picture}(75, 29)(0,-19)
    \gasset{Nw=5,Nh=5,Nmr=2.5,curvedepth=0}
    \thinlines
    \node[Nmarks=i,iangle=180](A0)(0,0){$1$}
    \node[Nmarks=f,fangle=0](Aa)(15,10){$1$}
    \node(Ab)(15,-10){$5$}
    \node(Aba)(30,0){$4$}
    \node(Abaa)(45,10){$3$}
    \node(Abaab)(60,0){$2$}
    \node[Nmarks=f,fangle=0](Abaaba)(75,10){$1$}
    \node(Abb)(30,-20){$2$}
    \node[Nmarks=f,fangle=0](Abba)(45,-10){$1$}
    \drawedge(A0,Aa){$a$}
    \drawedge[ELside=r](A0,Ab){$b$}
    \drawedge(Ab,Aba){$a$}
    \drawedge(Aba,Abaa){$a$}
    \drawedge(Abaa,Abaab){$b$}
    \drawedge(Abaab,Abaaba){$a$}
    \drawedge[ELside=r](Ab,Abb){$b$}
    \drawedge[ELside=r](Abb,Abba){$a$}
    \end{picture}
  \end{center}
  \caption{L'automate minimal de $\{a,bba,baaba\}^*$.}
\end{figure}