Utilisation des flottants du hardware pour le calcul rationnel exact Francis Sergeraert (1977) Mémoires de la Société Mathématique de France