Quelle est la définition d'un groupe. Quelle quatrième propriété rajoute-t-on aux monoïdes pour en faire des groupes et que signifie cette propriété ?