Réaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais doit-on aveuglément faire confiance aux résultats obtenus par nos machines ? Comment calculent nos ordinateurs ? Sylvie Boldo, chercheuse en preuve de programmes et arithmétique des ordinateurs, nous apporte quelques éléments de réponse...