\documentclass[12pt,a4paper,french]{article}
\usepackage[francais]{babel}
\usepackage[utf8]{inputenc}
\usepackage{a4}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{framed}
\usepackage{dsfont}
\usepackage[amsmath,thmmarks,thref,framed]{ntheorem}
\usepackage[dvips]{graphics}
\usepackage{epsfig}
\usepackage{calc}
\usepackage{tabls}
\usepackage{slashbox}
\usepackage{times}
\usepackage{multicol}
\usepackage{tabularx}
\usepackage{textcomp}
\usepackage{pst-all}
\usepackage[a4paper]{geometry}
\input{symboles.sty}

\geometry{hmargin=1cm, vmargin=1.5cm}
\title{Département d'informatique, partiel de Mathématiques discrètes\\  
Travaux pratiques Semestre 3, Mars 2011.\\ 
}

\date{}

\begin{document}

Répondre à chacune des questions suivantes:

\begin{itemize}
\item quel code python premet de mémoriser dans une variable \verb+a1+ 
  l'automate représenté à la figure~\ref{fig:automat}?
\vspace{5cm}
\item Justifier le fait que cet automate n'est pas déterministe. 
\vspace{5cm}
\item Quelle méthode de la classe FSA peut-on utiliser si l'on souhaite avoir 
  un automate déterministe \verb+a2+ 
  isomorphe à l'automate mémorisée dans \verb+1a1+?
  Ecire le code correspondant.
\vspace{5cm}
 \item Quelle methode de la classe FSA premet d'afficher \verb+a2+?
Dessiner ci dessous cet automate.  
\end{itemize}
\end{document}