\begin{figure}[H]
  \begin{center}
    \unitlength=4pt
    \begin{picture}(30, 36)(0,-18)
    \gasset{Nw=5,Nh=5,Nmr=2.5,curvedepth=0}
    \thinlines
    \node[Nmarks=i,iangle=180](A1)(0,0){$1$}
    \node[Nmarks=f,fangle=0](Aa)(15,10){$a$}
    \node(Ab)(15,-10){$b$}
    \node[Nmarks=f,fangle=0](Ac)(30,0){$c$}
    \drawloop[loopangle=90](Aa){$a$}
    \drawloop[loopangle=270](Ab){$b$}
    \drawloop[loopangle=90](Ac){$c$}
    \drawedge(A1,Aa){$a$}
    \drawedge[ELside=r](A1,Ab){$b$}
    \drawedge(Ab,Aa){$a$}
    \drawedge(Aa,Ac){$c$}
    \drawedge(Ac,Ab){$b$}
    \end{picture}
  \end{center}
  \caption{L'automate d'un langage local.}
\end{figure}