Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle C. Berline (1992) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications