Activité sur Fragments de mathématiques existentielles