Premier axiome des groupes.

autre