Séance A.3 - Définition axiomatique