Comment fonctionne le langage

https://caramel.hypotheses.org/11902