Elie Soubiran: Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. (Modular development of theories and name-space management for the Coq proof assistant). École Polytechnique, Palaiseau, France 2010