Formal Methods and Blockchain for Decentralized and Secure Federated Learning. (Méthodes Formelles et Blockchain pour un Apprentissage Fédéré Décentralisé et Sécurisé). - Badra Souhila Guendouzi (2025)