Vérification formelle des systèmes d'IA agentive · Laboratoire de Traitement et Communication de l'Information, Doctorat · La Géode