Un traducteur en Python pour créer des modèles VLE à partir de spécifications en Event-B.