La résolution de problèmes occupe une place centrale dans les programmes suisses de mathématiques, au primaire comme au secondaire. Pour autant, il n’est pas simple d’identifier les apprentissages auxquels elle permet de contribuer lorsqu’elle est considérée comme un objet d’apprentissage à part entière. Dans cet atelier, les auteurs présentent une manière de considérer ces apprentissages possibles du point de vue des types de raisonnements mathématiques et des processus de preuve mobilisés lors de la résolution de problèmes. Après des apports théoriques, ils proposent aux participants d’analyser différents problèmes dans le but d’identifier les types de raisonnement en jeu. Ils présentent différentes opérationnalisations de ces éléments, et notamment une utilisation en contexte de formation continue.