\begin{figure}[H]
  \begin{center}
    \unitlength=4pt
    \begin{picture}(25, 32)(0,-12)
    \gasset{Nw=5,Nh=5,Nmr=2.5,curvedepth=0}
    \thinlines
    \node[Nmarks=if,iangle=180,fangle=180](A0)(0,0){$1$}
    \node[Nmarks=f,fangle=270](A1)(10,10){$a_1$}
    \node(A2)(25,20){$a_2$}
    \node[Nmarks=f,fangle=0](A3)(25,0){$a_3$}
    \node(A4)(10,-10){$a_4$}
    \node[Nmarks=f,fangle=0](A5)(25,-10){$a_5$}
    \drawloop[loopangle=90](A1){$a_1$}
    \drawedge(A0,A1){$a_1$}
    \drawedge[ELside=r](A0,A4){$a_4$}
    \drawedge(A1,A2){$a_2$}
    \drawedge(A3,A1){$a_1$}
    \gasset{curvedepth=3}
    \drawedge(A2,A3){$a_3$}
    \drawedge(A3,A2){$a_2$}
    \drawedge(A4,A5){$a_5$}
    \drawedge(A5,A4){$a_4$}
    \end{picture}
  \end{center}
  \caption{Un automate local reconnaissant $K$.}
\end{figure}