Résumé : Cette proposition présente un formalisme de description de systèmes distribués. Dans un système distribué, les agents ne disposent d'aucune mémoire commune. La communication entre les agents repose explicitement sur des mécanismes d'envoi, d e réception et de synchronisation. Ces systèmes sont dynamiques: un agent peut interrompre son activité (disparaitre) ou décider de créer de nouveaux agents. Les relations de communication entre agents sont elles-mêmes dynamiques: le graphe de communication entre les agents n'est pas statique mais évolue lui-même en fonction de l'état des agents qui composent le système. Le formalisme de description proposé est un langage de classes construit sur les formalismes de la programmation Logique et des réseaux Petri Prédicat/Transition.La technique proposée permet d'obtenir une description exécutable du système: cette description peut être simulée, ou explorée exhaustivement (construction de son espace d'étatsaccessibles) en vue d'une analyse formelle.Pour illustrer ce formalisme, un exemple simple est traité: le calcul de la factorielle d'un nombre. Deux modèles de ce calcul seront présentés, le premier est emprunté au formalisme du. G-Calcul, le second est traité sous la forme d'un programme "acteurs".