Cet article présente un framework d'apprentissage fédéré basé sur Python et présente une méthode permettant de convertir automatiquement les algorithmes d'apprentissage fédéré basés sur ce framework en processus séquentiels communicants (CSP) grâce à ChatGPT. Alors qu'une conversion manuelle était auparavant nécessaire, ChatGPT automatise le processus, augmentant ainsi son efficacité. La sécurité et la vivacité des processus CSP convertis sont ensuite vérifiées à l'aide du vérificateur de modèle PAT. Les expériences démontrent la réussite de la conversion et de la validation des algorithmes d'apprentissage fédéré centralisés et distribués.