Principe d'Oka, K-théorie et systèmes dynamiques non commutatifs. J.-B. Bost — 1990 Inventiones mathematicae
Potential theory and Lefschetz theorems for arithmetic surfaces J.-B. Bost — 1999 Annales scientifiques de l'École Normale Supérieure