Abstract FR:

L'utilisation des ordinateurs dans le calcul scientifique a toujours pose le probleme de la precision des resultats obtenus du fait de la propagation des erreurs d'arrondi. La methode probabiliste cestac, fondee sur une perturbation aleatoire du dernier bit de la mantisse des resultats intermediaires, a toujours donne d'excellents resultats. Dans une premiere partie, une modelisation de cestac permet de justifier sa validite tant pour l'emploi du test de student pour estimer la precision des calculs que pour l'etude du biais entre la moyenne de distribution et le resultat mathematique exact. Dans la deuxieme partie, est presente un environnement complet en langage ada pour l'utilisation pratique de la methode fondee sur les notions de surcharge, de paquetage de parametres generiques