Remove an extra 'laboratoire' in the list of seminars.

publications.tex

@@ -74,7 +74,7 @@ mes publications, par catégorie.
 \subsection*{Séminaires et exposés}
 \begin{itemize}
 \item Séminaire « Some Results on Leftist Insertion-deletion Systems »
-  au laboratoire Laboratoire Spécification et Vérification à l'ENS de
+  au Laboratoire Spécification et Vérification à l'ENS de
   Cachan (25 novembre 2015). Sujet présenté aussi en téléconférence au
   séminaire en hommage à Yurii \textsc{Rogozhin} à l'Institut de
   Mathématiques et d'Informatique de Moldavie (13 novembre 2015).