Propriétés de Dhall: typage et totalité

Discussion sur le typage fort de Dhall, schémas, l'absence d'effets de bord et l'évaluation totale garantissant terminaison.