Analyse sémantique de structures de données dynamiques avec application au cas particulier de langages LISpiens — Jan Stransky