Le tournant pratique en philosophie des mathématiques s’oppose à la perspective normative d’une reconstruction des produits de la science à partir d’un point de vue actuel. Le travail de Hourya Benis- Sinaceur se place dès le départ dans l’esprit du tournant pratique : elle examine l’aspect fondamental du changement survenu dans le travail mathématique, vu d’une perspective interne au déploiement mathématique. Bien que moi-même formé plutôt dans l’esprit de la reconstruction rationnelle, nous cherchons tous les deux par le tournant pratique la compréhension mathématique, de sorte que les questions d’autonomie ou d’ontologie mathématique ont de facto perdu de leur importance. Mon propos est d’esquisser la thèse que nos deux approches ne constituent en réalité que la partie « descriptive » (la justification) et la partie « intuitive » (la construction) d’une compréhension pragmatique des mathématiques.