Résumé : Les systèmes multi-agents s'appuient sur des protocoles d'interaction pour la commu- nication ; toutefois, il n'existe pas à l'heure actuelle d'outils pour aider à la conception et à la validation de ces protocoles. La démonstration que nous proposons décrit une plate-forme pour l'ingénierie des protocoles qui est composée de deux outils : l'outil DIP (Designing Interaction Protocols) qui aide à la conception et l'outil TAP (Testing Agent and interaction Protocols) qui aide à la validation. Nous utilisons ces deux outils afin de concevoir et de valider les proto- coles d'interaction de l'application Baghera et en particulier le protocole qui est employé pour vérifier une preuve émise par un élève.