Fragments de mathématiques existentielles — Laurent Derobert