interrogation théorique - Formalisation du raisonnement - M1 S1 - 2025-2026