J'ai une assez bonne expérience pratique de l'échantillonnage de Metropolis-Hastings et Gibbs, mais je veux obtenir une meilleure compréhension mathématique de ces algorithmes. Quels sont les bons manuels ou articles qui prouvent l'exactitude de ces échantillonneurs (plus d'algorithmes seraient également excellents)?