1
Tout langage de programmation intéressant a des structures de données récursives, donc des types récursifs pour les décrire.