Unité d'enseignement - Raisonner et pratiquer la preuve - SINCUD4 - Master Informatique - 5SIN - Sciences et Technologies - SCIENCES - Offre de formation d’Aix-Marseille Université 2024-2025