examen théorique - Formalisation du raisonnement - M1 S1 - 2023-2024