D5 : Un système de calcul formel avec des nombres algébriques D. DUVAL (1986/1987) Seminaire de Théorie des Nombres de Bordeaux