International audienceWe report a collaboration between sociologists and computer scientists about the formalization of a well-experienced theory, the sociology of the organized action. After a brief introduction to this theory, the paper presents our formalization of this theory and a sample example of its application. The following sections address the validity of the results obtained in this way, the scientific outcomes and the requirements of an interdisciplinary collaboration between sociologists and computer scientists.Cet article rend compte d'une collaboration entre des informaticiens et des sociologues dans le cadre de la formalisation d'une théorie sociologique bien éprouvée, la sociologie de l'action organisée. Après une brève in...