Exécution et vérification des calculs numériques, méthodes de preuves — Pierre Montagne