Remove autonomous vehicles.

I definitely don't want this on my dossier: my contribution was
extremely minor, and I got almost absorbed into a collaboration with
SystemX which I didn't like at all.

recherche.tex

@@ -85,30 +85,6 @@ exemple,~\cite{mandon2017}). Actuellement, nous nous penchons sur le
 problème de définition de contrôle séquentiel d'un réseau, tout en
 gardant des temps raisonnables d'analyse par ordinateur.
 
-\subsubsection{Méthodes formelles pour le véhicule autonome}
-La conception de l'automobile autonome est l'un des objectifs
-magistraux de l'industrie et la science modernes ; en effet, un
-véhicule capable de se conduire lui-même en respectant le code de la
-route et la sécurité des acteurs du trafic permettra de lever de
-nombreux verrous dans les domaines de la logistique, du transport de
-personnes et de marchandises, etc. La conception d'un tel véhicule
-pose des défis importants dont l'affrontement nécessite une véritable
-synergie interdisciplinaire.
-
-Dans cette optique d'interdisciplinarité, je participe au travaux de
-l'équipe COSMO qui étudient le véhicule autonome non pas comme un
-objet physique suivant des trajectoires sur une route réelle, mais
-comme un agent interagissant avec d'autres dans un espace virtuel
-linéaire. Cette représentation éloigne le modèle de la réalité
-physique, certes, mais elle nous permet d'aller au-delà de la sécurité
-routière et d'étudier le {\em confort} additionnel que des protocoles
-de {\em communication} pourrait procurer aux usagers de la route.
-
-Le cadre de cette étude est posé dans les articles bientôt publiés de
-Jeremy \textsc{Sobieraj}. Ma contribution se cantonne actuellement à
-l'étude du confort des usagers sur une voie d'insertion, mais je
-compte élargir mon investissement.
-
 \subsection{Travaux hors thèse et postdoctoraux}
 Avant le début de ma thèse et pendant mon doctorat j'ai travaillé sur
 des problèmes qui n'étaient pas directement liés à ceux qui sont