Documenter les extensions mathématiques

Description

Documenter les extensions lazi déjà réalisées dans la partie "réalisation". Voir les docs existantes de l'ancien wiki.

Sous-tâches

• 01-events.ext | à faire | 2020.
• 02-story.ext-ev | à faire | 2020.
• 03-addSimpleRule.ext-ev | à faire | 2020.
• 04-goalSimpleRule.ext | à faire | 2020.
• 05-equality.deduc | à faire | 2020.
• 06-function.ext-nota | à faire | 2020.
• 07-definition.ext-ev | à faire | 2020.
• 08-wordRepr.ext-nota | à faire | 2020.