Robustness and randomness in reliable implementation of real number algorithms : theory and practise ↗ ↖ D Michelucci Jean-Michel Moreau Sebti Foufou