Le post-doc me demanda la méthode pour obtenir une égalité entre flottants à coup sûr dans son algorithme.

Je me tournai vers la fenêtre et je montrai l'arbre au milieu de la cour intérieure. Il me dit « mais il n'y a pas d'arbre ». Je lui dit « justement ».

Alors, il fut éveillé.

PS: Je conseille la lecture de mon article The pitfalls of verifying floating-point computations.