Introduction au b-calculus

Le b-calcul pseudodifférentiel de Melrose joue un rôle important dans la démonstration récente de la stabilité non-linéaire de Kerr-de Sitter par Hintz et Vasy. Le but de cet exposé sera d'introduire le "b-calculus" dans un contexte géneral et ensuite d'illustrer quelques applications à des problèmes hyperboliques.