• 3. Quadratic normalisation

• A survey of normal forms in monoids that are ◮ based on greedy algorithms (Garside normalisation), ◮ and, more generally, on local algorithms (quadratic normalisation). • A common mechanism inducing a universal recipe: the domino rule. Plan