Structures algébriques : définition axiomatique et raisonnement abstrait