%0 Journal Article %A Nour, Karim %T Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1997 %P 539-558 %V 31 %N 6 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1997__31_6_539_0/ %G fr %F ITA_1997__31_6_539_0