Enseignement: Update and slightly reformat the introduction.

enseignement.tex

@@ -4,9 +4,11 @@ supérieur. Ces activités ont débuté en 2012 à travers un contrat de
 trois ans comme moniteur à l'Université Paris Est Créteil (UPEC) et
 ont continué dans le cadre des missions qui ont suivi :
 \begin{itemize}
-\item ATER à l'École Supérieure d'Informatique Appliquée à la Gestion
+\item {\bf Maître de conférénces} dans le département informatique de
+  l'Université d'Évry,
+\item {\bf ATER} à l'École Supérieure d'Informatique Appliquée à la Gestion
   (ÉSIAG),
-\item chercheur postdoctoral à l'Université Grenoble-Alpes (UGA),
+\item {\bf chercheur postdoctoral} à l'Université Grenoble-Alpes (UGA),
   laboratoire Techniques de l'Ingénierie Médicale et de la
   Complexité~- Informatique, Mathématiques et Applications (TIMC -
   IMAG).
@@ -14,15 +16,15 @@ ont continué dans le cadre des missions qui ont suivi :
 
 J'ai également effectué de courtes missions d'enseignement à
 l'étranger. Notamment, j'ai enseigné le cours {\em Haskell for Life}
-({\em Haskell pour tous les jours}), donnant une perspective rapide
+({\em Haskell pour la vie de tous les jours}), donnant une perspective rapide
 sur la programmation fonctionnelle strictement typée, aux
 établissements énumérés dans la liste suivante :
 \begin{itemize}
-\item Åbo Akademi University (ÅA), à Turku, Finlande (15--22 janvier
+\item {\bf Åbo Akademi University} (ÅA), à Turku, Finlande (15--22 janvier
   2016),
-\item Université Technique de Moldavie (UTM), à Chișinău, Moldavie
+\item {\bf Université Technique de Moldavie} (UTM), à Chișinău, Moldavie
   (5--16 décembre 2016),
-\item Pentalog Chișinău (Pentalog), à Chișinău, Moldavie (5--9
+\item {\bf Pentalog} Chișinău (Pentalog), à Chișinău, Moldavie (5--9
   décembre 2016).
 \end{itemize}