diff --git a/recherche.tex b/recherche.tex
index f196e74..065601c 100644
--- a/recherche.tex
+++ b/recherche.tex
@@ -616,6 +616,28 @@ réseaux de Petri et leurs dépliages.
 
 
 \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{Projets de programmation}