UE Preuves assistées par ordinateur Master InformatiqueParcours Science et ingénierie du logiciel (SIL)ComposanteUFR de mathématique et d'informatiqueCredits3 créditsCatalogue2024-2025