## Définitions