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