Presentations:
- Francois et Bruno
    -- Utilisation du nombre de flottants comme representation des distances entre flottants
- Arnaud Gotlieb
    -- Precise floating point propagators
- Francois (rapide)
    -- Bibliotheque OCaml sur les flottants par extraction de Flocq

Discussions possibles:
   -- DBM pour flottant utilisant des rationnels sur les arcs.