\begin{figure}[H]
  \begin{center}
    \unitlength=4pt
    \begin{picture}(45, 41)(0,-17)
    \gasset{Nw=7,Nh=7,Nmr=3.5,curvedepth=0}
    \thinlines
    \node[Nmarks=if,iangle=180,fangle=180](A0)(0,0){$\{0\}$}
    \node[Nmarks=f,fangle=90](A1)(15,15){$\{1\}$}
    \node(A)(25,0){$\emptyset$}
    \node[Nmarks=f,fangle=0](A3)(45,0){$\{3\}$}
    \node(A4)(15,-15){$\{4\}$}
    \node[Nmarks=f,fangle=0](A5)(35,-15){$\{5\}$}
    \node[Nmarks=f,fangle=0](A12)(35,15){$\{1,2\}$}
    \drawedge(A0,A1){$a$}
    \drawedge[ELside=r](A0,A4){$b$}
    \drawedge(A1,A12){$a$}
    \drawedge(A1,A){$b$}
    \drawedge[ELside=r](A3,A){$b$}
    \drawedge[ELside=r](A4,A){$b$}
    \drawedge[ELside=r](A5,A){$a$}
    \drawloop[loopangle=180](A){$a,b$}
    \drawloop[loopangle=90](A12){$a$}
    \gasset{curvedepth=3}
    \drawedge(A12,A3){$b$}
    \drawedge(A3,A12){$a$}
    \gasset{curvedepth=2}
    \drawedge(A4,A5){$a$}
    \drawedge(A5,A4){$b$}
    \end{picture}
  \end{center}
  \caption{Un automate déterministe reconnaissant
  $L$.}
\end{figure}
x