Francesco Logozzo: Analyse statique modulaire des langages à objet. (Modular static analysis of object-oriented languages). École Polytechnique, Palaiseau, France 2004