Érik Martin-Dorel: Contributions to the Formal Verification of Arithmetic Algorithms. (Contributions à la vérification formelle d'algorithmes arithmétiques). École normale supérieure de Lyon, France 2012