Theorie de preuve en logique modale intuitionniste comme cadre pour garantir la transparence et la responsabilité dans la prise de décision en IA · LIX - Laboratoire d'informatique, Doctorat · La Géode