UE Preuves assistées par ordinateur Master InformatiqueParcours Image et 3D (I3D)ComposanteUFR de mathématique et d'informatiqueCredits3 crédits