Unité d'enseignement - Raisonner à l’aide des formalismes de l’informatique - SINAU22 - Master Informatique - 5SIN - Sciences et Technologies - SCIENCES - Offre de formation d’Aix-Marseille Université 2024-2025